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.
XML-SAT is a free software application from the Other subcategory, part of the Development category.
The app is currently available in English and it was last updated on 2010-04-24. The program can be installed on All POSIX (Linux/BSD/UNIX-like OSes).
XML-SAT (version ) is available for download from our website.
Just click the green Download button above to start. Until now the program was downloaded 40 times.
We already checked that the download link to be safe, however for your own protection we recommend that you scan the downloaded software with your antivirus.