This Code is a simplified Sat4J Interface, that should help to get in touch with Sat4J.
Releases are available at OW2 Releases
Select Precompiled binaries to download a .jar directly. I used the core-version for this Project.
To run this Code you need to download Sat4J and integrate it into your Project.
In IntelliJ go to File -> Project Structure -> Libaries -> + -> Java and select the org.sat4j-core.jar