Bug fixes for Java API + Exactly one constraints + Adding support for getting the...
authorHamed Gorjiara <hgorjiar@uci.edu>
Thu, 13 Jun 2019 01:12:09 +0000 (18:12 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Thu, 13 Jun 2019 01:12:09 +0000 (18:12 -0700)
commit081e954fa3566ad9a2522ca45bef8e29472d2a72
tree28ec86847070311da82623cc0cc2740cfb7ba9c5
parent0097f3d8e023e8ac1158436fe9aac33f93681f8d
Bug fixes for Java API + Exactly one constraints + Adding support for getting the wrong assumptions from SAT solver
src/Backend/inc_solver.cc
src/ccsolver.cc
src/ccsolver.h
src/csolver.cc
src/csolver.h
src/pycsolver.py
src/satune_SatuneJavaAPI.cc
src/satune_SatuneJavaAPI.h