wanzyrowan / SAT-Solver-in-Erlang Public

Boolean Satisfiability Solver written in Erlang

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
Tests		Tests
.gitpod.Dockerfile		.gitpod.Dockerfile
.gitpod.yml		.gitpod.yml
README.md		README.md
caseSplit.beam		caseSplit.beam
caseSplit.erl		caseSplit.erl
cnf_parser.beam		cnf_parser.beam
cnf_parser.erl		cnf_parser.erl
dpll.beam		dpll.beam
dpll.erl		dpll.erl
formulaManipulation.beam		formulaManipulation.beam
formulaManipulation.erl		formulaManipulation.erl
parser.beam		parser.beam
parser.erl		parser.erl
pureLiteral.beam		pureLiteral.beam
pureLiteral.erl		pureLiteral.erl
tests.erl		tests.erl
uf20-03.cnf		uf20-03.cnf
unitPropogation.beam		unitPropogation.beam
unitPropogation.erl		unitPropogation.erl