satisfiability related libraries in java to run in linux online

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

Quick description about satisfiability related libraries in java to run in linux online:

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.

.