Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool