episat_test: episat_test.cc qnodes.cc qnodes.hh qsolver.cc qsolver.hh
	c++ -std=c++14 episat_test.cc qnodes.cc qsolver.cc -I./minisat minisat/build/release/lib/libminisat.a -o episat_test

episat_example: episat_example.cc qnodes.cc qnodes.hh qsolver.cc qsolver.hh episat_test
	./episat_test && echo "Tests ended successfully" && c++ -std=c++14 episat_example.cc qnodes.cc qsolver.cc -I./minisat minisat/build/release/lib/libminisat.a -o episat_example


