OCaml-SAT-Solvers

★ 20 Open GitHub ↗

An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.

Explore Similar Repositories

jquery.ui.combify : A jQuery UI plugin to convert any select list into a combobox where users can enter their own values. Also includes autocomplete and hotkeys.
todolist : A stack-based personal Todo app
Marvin32 : Implentation of .NET 4.5's InternalMarvin32HashString
UASparser : User Agent String parser for PHP from user-agent-string.info
ObjLoader : Opengl to load .obj files
// repository documentation