XML-SAT

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti

Circa XML-SAT

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.