File List

Here is a list of all documented files with brief descriptions:

[detail level 123]

▼ Solver
▼ util
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
basic_structures.hpp	Contains the basic structures variable and literal
Clause.hpp	Contains the class Clause that consists of one or more literals
heuristics.hpp	Contains different branching heuristics
inout.hpp	Contains functions for reading and writing dimacs format
printing.cpp
printing.hpp	Contains functions ostream operators for various structures: ranges, tuples and the structures like variables and literals for easy printing
Solver.hpp	Contains the main solver class