Programmi di xml-sat.sf.net
-
XML-SAT Gratuito
Un risolutore SAT modulare basato su Minisat. I moduli sono descritti in file XML, che vengono elaborati da uno script perl; generando così n-risolutori.
Un risolutore SAT modulare basato su Minisat. I moduli sono descritti in file XML, che vengono elaborati da uno script perl; generando così n-risolutori.