Iterative DPLL SAT Solver with occurrence lists, jeroslow-wang heuristic
Primary LanguageJulia
No issues in this repository yet.