haroldbot

Bitvector solver and theorem prover

Name		Name	Last commit message	Last commit date
Latest commit History 160 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
bdd.js		bdd.js
bddfunction.js		bddfunction.js
bddviz.html		bddviz.html
bigint.js		bigint.js
circuit.js		circuit.js
circuitfunction.js		circuitfunction.js
expr.js		expr.js
how.html		how.html
index.html		index.html
jquery.color-2.1.2.min.js		jquery.color-2.1.2.min.js
mainstyle.css		mainstyle.css
minisat.js		minisat.js
parser.js		parser.js
permute.html		permute.html
permute_gf2affine.html		permute_gf2affine.html
pfworker.js		pfworker.js
prooffinder.js		prooffinder.js
sat.js		sat.js
satworker.js		satworker.js
sse.html		sse.html
ssecfunction.js		ssecfunction.js
test.html		test.html
tests.js		tests.js
util.js		util.js

IJzerbaard/haroldbot