parallel sat4j online with Winfy

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.

.