xml sat

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

Quick description about xml sat:

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++.
Categories: