Paket: sat4j (2.3.5-0.3)

[ Quellcode: sat4j  ]

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.

Markierungen: Feld: Mathematik, Implementiert in: Java, Rolle: role::program, role::shared-lib

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

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
all	548,9 kB	687,0 kB	[Liste der Dateien]