resetting the solver
authorHamed Gorjiara <hgorjiar@uci.edu>
Mon, 8 Jan 2018 19:15:49 +0000 (11:15 -0800)
committerHamed Gorjiara <hgorjiar@uci.edu>
Mon, 8 Jan 2018 19:15:49 +0000 (11:15 -0800)
commit978e6f37f283c91a45c139d0cb0af57e48056b95
tree6cd2a25c6742c0e8dbf498e6466eed2e9f67adaa
parent6372bfaf0fe5c6e24bd46005e95209316d8d5a9a
resetting the solver
src/Backend/constraint.cc
src/Test/deserializersolvetest.cc