This is a Java JNI wrapper around the PicoSat and MiniSat solver libraries. The adapter JNI libraries (jpicosat, jminisat) are compiled for various operating systems (Linux, Windows, Mac OS) and architectures (x86 and amd64) and packaged into a single JAR file. At runtime the appropriate adapter library is loaded from the JAR file by the Java virtual machine, and then the operating system links and loads the native solver library (picosat, minisat) that is actually doing the work. The Solver.java interface provides a unified incremental SAT solver interface to MiniSat and PicoSat (and Sat4J version 2.3.1). See the simple Validate.java application for basic usage.
-
First you need to install the native solver library on your operating system. For example, on Ubuntu you need to run
sudo apt-get install minisat picosatto install the MiniSat and PicoSat solvers. On Windows you do not have to do anything, the adapter library statically contains the native library. -
Then clone this JNISat repository from GitHub, and run the
ant buildcommand to prepare the jnisat.jar file. Try running theant validatecommand to check whether the solvers are working on your system. Then simply add the jnisat.jar file to your java application, and you can start using the JNISat java library. If you run into problems with the adapter libraries, then runant detectto see what is going on. -
If no adapter library is compiled for your architecture (or you do not trust the ones uploaded in the lib directory), then run
ant jminisatorant jpicosatto create the appropriate adapter libraries for your operating system. On Windows you need to install cygwin with the mingw compiler and ant to build the native libraries, but the compiled adapter library is statically linked and will not be dependent on anything else.
The JNISat java library is released under the MIT license. It dynamically links against the PicoSat and MiniSat solvers, which are also released under the MIT license, but does not contain any source code from those.