Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).
Primary LanguageC++