Mizux Seiha 3223b97649 cmake: Work on Java ...

* Add SWIG generation CMakeLists.txt
* Fix jni.h include dir

2020-04-16 11:25:06 +02:00

..

CMakeLists.txt

cmake: Work on Java

2020-04-16 11:25:06 +02:00

sat.i

improve presolve; speed up diffn

2020-02-26 16:10:17 +01:00