parallel sat4j

We have hosted the application parallel sat4j in order to run this application in our online workstations with Wine or directly.

Quick description about parallel sat4j:

This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.

Audience: Education.
User interface: Win32 (MS Windows).
Programming Language: Java.

.