Adding more functions to C API
authorHamed Gorjiara <hgorjiar@uci.edu>
Tue, 19 Mar 2019 01:02:56 +0000 (18:02 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Tue, 19 Mar 2019 01:02:56 +0000 (18:02 -0700)
commit4fd5cd60484d477ef7110813d8206325f75822ea
tree16b49da8a97c1a53dc6a1baa24b8917fe220766d
parent60f06342cc7b827a73c228670bd27755401cdb4e
Adding more functions to C API
src/ccsolver.cc
src/ccsolver.h
src/satunejavaapi.cc [deleted file]
src/satunejavaapi.h [deleted file]