baptiste-fourmont/dpll

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

语言：OCaml · GitHub 星标：2 · Fork：0

话题：dimacs · dpll-algorithm · dpll-solver · ocaml · solver

在 GitHub 上查看原仓库