Adding the c wrapper for CSolver
authorHamed Gorjiara <hgorjiar@uci.edu>
Tue, 10 Apr 2018 22:28:03 +0000 (15:28 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Tue, 10 Apr 2018 22:28:03 +0000 (15:28 -0700)
commit806a79424211fba5d68b6b802a6ceea2db47196f
tree78ccb5072a85aa35954c1432425ca96e4e4d9a16
parentbb457e194713776587cab5987fc418160b406e76
Adding the c wrapper for CSolver
src/Test/Makefile
src/Test/ccsolvertest.c [new file with mode: 0644]
src/ccsolver.cc [new file with mode: 0644]
src/ccsolver.h [new file with mode: 0644]
src/common.h
src/csolver.cc
src/mymemory.h