VoidMercy / CS-257-Project Public

Decision procedure for the theory of bit-vectors using DPLL(T), bit-blasting, and integer linear programming.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
.gitignore		.gitignore
Benchmark.py		Benchmark.py
BitBlaster.py		BitBlaster.py
CS_257_Project_Paper.pdf		CS_257_Project_Paper.pdf
ExprNode.py		ExprNode.py
LPSolver.py		LPSolver.py
LPSolver2.py		LPSolver2.py
PropNode.py		PropNode.py
README.md		README.md
SATSolver.py		SATSolver.py
log		log
z3_test.py		z3_test.py