Directory dependency graph for Solver:
Directories | |
| util | |
Files | |
| 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. | |
