Een modulaire SAT oplosser gebaseerd op Minisat. De modules worden beschreven in XML-bestanden, die worden verwerkt door een perl script; het genereren van n-solvers.
versiegeschiedenis
- Versie release geplaatst op 2010-04-24
Verschillende oplossingen en updates - Versie N/A geplaatst op 2010-04-24
Programmadetails
- Categorie: Ontwikkeling > Andere
- Publisher: xml-sat.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: linux