The program SATU is an implementation of a SAT solver for computational grids. SATU reads SAT problem instances in dimacs CNF format and provides a simple interface for the computational grid.
The current version is satu-0.2.
SATU is implemented by Antti Hyvärinen.
DocumentationThe most comprehensive documentation for the satu system is currently the technical report which gives a high level description of the system. here, and is distributed under the GNU Public Licence. Note that you also need the job manager, the NorduGrid source distribution available from http://www.nordugrid.org/ and certain other programs described in the documentation of the SATU source code.
UsageMake sure that the job manager is running and you are using the right method in SATU to access it. Then just type
% satu problem.cnf
Antti E. J. Hyvärinen: SATU: A system for distributed propositional satisfiability checking in computational grids Research Report A100, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2006.
Last modified: Mon Sep 21 16:30:03 EEST 2006