TeDDy 4.1.0
Decision diagram library.
Loading...
Searching...
No Matches
config.hpp
1#ifndef LIBTEDDY_DETAILS_CONFIG_HPP
2#define LIBTEDDY_DETAILS_CONFIG_HPP
3
14// #define LIBTEDDY_VERBOSE
15
22// #define LIBTEDDY_COLLECT_STATS
23
32// #define LIBTEDDY_SYMBOLIC_RELIABILITY
33
34#endif