Package: sat4j (2.2.0-3)

[ Source: 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.

Tags: Field: Mathematics, Implemented in: Java, : qa::low-popcon, Role: Program, Shared Library

Other Packages Related to sat4j

• dep: default-jre

  Standard-Java- oder Java-kompatible Laufzeitumgebung

  or java2-runtime

  virtual package provided by default-jre, gcj-4.4-jre, gcj-jre, openjdk-6-jre, sun-java6-jre

  or java5-runtime

  virtual package provided by default-jre, gcj-4.4-jre, gcj-jre, openjdk-6-jre, sun-java6-jre

  or java6-runtime

  virtual package provided by default-jre, openjdk-6-jre, sun-java6-jre

• dep: jarwrapper (>= 0.5)

  Startet ausführbare Java-.jar-Dateien

Download sat4j

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	510.5 kB	652.0 kB	[list of files]