XML-SAT

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen

Over XML-SAT

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.