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
- Categoria: Sviluppo > Altro
- Editore: xml-sat.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: Array
- Piattaforma: linux