sat-solver

A relatively straight-forward implementation of a sat-solver capable of both brute-force solves and an implementation of the DPLL algorithm.

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
Heuristics		Heuristics
tests		tests
.gitignore		.gitignore
Brute.hs		Brute.hs
DPLL.hs		DPLL.hs
Main.hs		Main.hs
Parser.hs		Parser.hs
README.md		README.md
Types.hs		Types.hs
Utils.hs		Utils.hs

Provide feedback