07/08/2018
The sat_builder
folder provides primitive tools to construct a DIMACS formatted CNF file of a satisfiability instance for a particular (support, graph, order) triple.
These instances can then be solved using your favorite SAT solver (e.g. minisat, lingeling, etc.)