Programy według xml-sat.sf.net

Modułowy solver SAT oparty na Minisat. Moduły są opisane w plikach XML, które są przetwarzane przez skrypt perl; generując w ten sposób n-solvery.