minisat: minisat.cpp
	g++ $^ -lminisat -o $@
	./$@

sympy: pysolver.py
	python3 pysolver.py
