Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool