satisfiability related libraries in java

We have hosted the application satisfiability related libraries in java in order to run this application in our online workstations with Wine or directly.

Quick description about satisfiability related libraries in java:

The aim of this project is to provide SAT solvers and related products to be easily embedded in Java software. The softwares found here are part of former research projects that are no longer under development but that are made available here because.

Audience: Science/Research.
User interface: Command-line.
Programming Language: Java.
Categories: