An implementation of a recursive DPLL solver in OCaml. It parses setup (cnf ) DIMACS and checks if the formula is satisfied.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
