Adding reset to the solver
authorHamed Gorjiara <hgorjiar@uci.edu>
Mon, 27 Nov 2017 21:38:16 +0000 (13:38 -0800)
committerHamed Gorjiara <hgorjiar@uci.edu>
Mon, 27 Nov 2017 21:38:16 +0000 (13:38 -0800)
commit6372bfaf0fe5c6e24bd46005e95209316d8d5a9a
treef1c3b254387a3299ee59b619d7cf8f58e0d6be87
parentf9295083796e890e723309da92b351e9c5660bed
Adding reset to the solver
src/Backend/constraint.cc
src/Backend/constraint.h
src/Backend/satencoder.cc
src/Backend/satencoder.h
src/csolver.cc
src/csolver.h