[ Quellcode: sat4j ]
Paket: sat4j (2.3.5-0.3)
Links für sat4j
Debian-Ressourcen:
Quellcode-Paket sat4j herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [www.sat4j.org]
Ähnliche Pakete:
Effiziente Bibliothek aus SAT-Solvern in Java
Das Ziel der Bibliothek SAT4J ist es eine effiziente Bibliothek aus SAT-Solvern in Java bereitzustellen. Verglichen mit dem Projekt OpenSAT zielt die Bibliothek SAT4J auf Erstbenutzer von SAT-»Black Boxes« ab, die SAT-Techniken in ihre Anwendungen integrieren wollen ohne sich um die Details zu kümmern. Das Projekt SAT4J versucht darüber hinaus, SAT-Forschern eine Arbeitsgrundlage zu bieten.
Andere Pakete mit Bezug zu sat4j
|
|
|
|
-
- dep: default-jre
- Standard Java or Java compatible Runtime
- oder java7-runtime
- virtuelles Paket, bereitgestellt durch default-jre, openjdk-17-jre
- oder java8-runtime
- virtuelles Paket, bereitgestellt durch default-jre, openjdk-17-jre
- oder java9-runtime
- virtuelles Paket, bereitgestellt durch default-jre, openjdk-17-jre
- oder java10-runtime
- virtuelles Paket, bereitgestellt durch default-jre, openjdk-17-jre
- oder java11-runtime
- virtuelles Paket, bereitgestellt durch default-jre, openjdk-17-jre
-
- dep: jarwrapper (>= 0.5)
- Startet ausführbare Java-.jar-Dateien
-
- dep: libcommons-cli-java
- Bibliothek zur Auswertung von Befehlszeilenargumenten und -optionen
sat4j herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 548,9 kB | 687,0 kB | [Liste der Dateien] |