Add a configuration for disabling the optimizations
authorHamed Gorjiara <hgorjiar@uci.edu>
Thu, 4 Jul 2019 00:05:35 +0000 (17:05 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Thu, 4 Jul 2019 00:05:35 +0000 (17:05 -0700)
commit974a00584da88dce9c638bd5fd981f2164176e2c
tree04b937ec51ca5f80c4bc937b8959e822ba910308
parent38c275a74e1bd8fb93a43293aaed664acc9a8b03
Add a configuration for disabling the optimizations
src/SatuneJavaAPI.java
src/ccsolver.cc
src/ccsolver.h
src/csolver.cc
src/csolver.h
src/pycsolver.py
src/satune_SatuneJavaAPI.cc
src/satune_SatuneJavaAPI.h