xml sat to run in linux online

We have hosted the application xml sat to run in linux online in order to run this application in our online workstations with Wine or directly.

Quick description about xml sat to run in linux online:

A modular SAT solver based on Minisat. The modules are described in XML-files, which are processed by a perl script; thus generating n-solvers.

Audience: Education.
User interface: Command-line.
Programming Language: C++.

.