 | J-tre.Ein einfacher Java-basiertes Sat-Solver |
| Jetzt downloaden | |
J-tre. Ranking & Zusammenfassung
Anzeige
- Lizenz:
- GPL
- Name des Herausgebers:
- Richard de Benedictis
- Website des Verlags:
- http://code.google.com/u/ricdebenedictis@gmail.com/
- Betriebssysteme:
- Mac OS X
- Dateigröße:
- 254 KB
J-tre. Stichworte
J-tre. Beschreibung
J-Tre ist eine einfache und minimalistische Java-Implementierung von Minisat, einem erweiterbaren Sat-Solver. J-TRE ist ein querplattreiches Dienstprogramm, das in der Lage ist, auf einem beliebigen Betriebssystem auszuführen, das mit Java-Support geliefert wird (z. B. Mac OS X, Windows, Linux).
J-tre. Zugehörige Software
