sukrutrao/SAT-Solver-DPLL

A simple SAT solver that implements the DPLL algorithm with unit resolution

语言：C++ · GitHub 星标：47 · Fork：23

话题：dpll · dpll-algorithm · sat-solver · satisfiability

在 GitHub 上查看原仓库