dpll-algorithm topic
List
dpll-algorithm repositories
SAT-Solver-DPLL
43
Stars
22
Forks
Watchers
A simple SAT solver that implements the DPLL algorithm with unit resolution
DPLL-Algorithm
31
Stars
7
Forks
Watchers
华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem