XML-SAT

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

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.

cronologia delle versioni

  • Versione release pubblicato il 2010-04-24
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2010-04-24

Dettagli del programma