j-danner/2-Xornado

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

语言：C++ · GitHub 星标：9 · Fork：1

话题：dpll · graph · sat-solver · xnf

在 GitHub 上查看原仓库