Adding python api for serilizing + performance improvement + making logs more readable
authorHamed Gorjiara <hgorjiar@uci.edu>
Wed, 18 Apr 2018 19:20:14 +0000 (12:20 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Wed, 18 Apr 2018 19:20:14 +0000 (12:20 -0700)
commitc8fa49521562e3053876a003ebf3780f260d3dbf
tree724b4d845a9bbff042adab309e7592f1c1e63da3
parent44301188cb21ea0007002b3a41a16fb0e64f3cc4
Adding python api for serilizing + performance improvement + making logs more readable
src/Backend/constraint.cc
src/Backend/satfuncopencoder.cc
src/Collections/cppvector.h
src/Test/deserializersolvetest.cc
src/Tuner/autotuner.cc
src/ccsolver.cc
src/ccsolver.h
src/csolver.cc
src/pycsolver.py