 | Inkremental-Sat-SolverEinfache, inkrementelle SAT-Lösung als Haskell-Bibliothek |
| Jetzt downloaden | |
Inkremental-Sat-Solver Ranking & Zusammenfassung
Anzeige
- Lizenz:
- BSD
- Preis:
- FREE
- Name des Herausgebers:
- Sebastian Fischer
- Website des Verlags:
- Betriebssysteme:
- Mac OS X
- Dateigröße:
- 4 KB
Inkremental-Sat-Solver Stichworte
Inkremental-Sat-Solver Beschreibung
Einfache, inkrementelle SAT-Lösung als Haskell-Bibliothek Incremental-Sat-Solver ist eine kostenlose und offene Quelle HASKELL-Bibliothek, die eine Implementierung des Davis-Putnam-Logemann-Loveland-Algorithmus für die boolesche Befriedigungsprobleme bietet. Incremental-Sat-Solver erlaubt nicht nur, boolesche Formeln in einem GO zu lösen, sondern auch Hinzufügen von Einschränkungen und Abfragen von Variablen inkrementell. Anforderungen: · GHC
Inkremental-Sat-Solver Zugehörige Software
Ronin PHP.
Eine kostenlose Ronin-Bibliothek, die Ruby-Entwickler unterstützt, unterstützt PHP-Sicherheitsaufgaben ...
51 KB