XML-SAT

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

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