|
SAT Solver Template
|

Files | |
| assert.hpp | |
| Wrapper around the classic C assert that always evaluates an expression but only checks the result in debug mode. | |
| cli.hpp | |
| Contains Command Line Interface parsing utility. | |
| concepts.hpp | |
| Contains various type traits and concepts. | |
| enum.hpp | |
| enum utilities | |
| exception.hpp | |
| Not implemented exception and BadHeuristicCall exception. | |
| Profiler.hpp | |
| Timing and profiling utilities. | |
| random.hpp | |
| Contains an easy-to-use random number generator. | |
| SubscribableEvent.hpp | |
| Contains subscribable event class for easy managing of solver events. | |