Compatibility for SATCheck
authorHamed Gorjiara <hgorjiar@uci.edu>
Mon, 6 May 2019 23:08:37 +0000 (16:08 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Mon, 6 May 2019 23:08:37 +0000 (16:08 -0700)
commit0097f3d8e023e8ac1158436fe9aac33f93681f8d
tree7f30448d3ab5b881a44361bf1f894b951ac0b7bb
parent34ba8a7da2ea48c2fc835985eee27bf2cd3e64db
Compatibility for SATCheck
src/csolver.cc