Package: sat4j (2.3.5-0.3)

Links for sat4j

Debian Resources:

Download Source Package sat4j:

Maintainer:

Michael Tautschnig (QA Page)

External Resources:

Homepage [www.sat4j.org]

Similar packages:

biblioteca eficiente de soluciones SAT en Java

El objetivo de la biblioteca SAT4J es proporcionar una biblioteca eficiente de soluciones SAT en Java. En comparación con el proyecto OpenSAT, la biblioteca SAT4J se dirige a los primeros usuarios de "cajas negras" de SAT, dispuestos a integrar tecnologías SAT en su aplicación sin preocuparse por los detalles. El proyecto SAT4J también intenta proporcionar una base de trabajo para los investigadores de SAT.

Tags: Field: Mathematics, Implemented in: Java, Role: role::program, role::shared-lib

Other Packages Related to sat4j

depends

recommends

suggests

enhances

dep: default-jre

Standard Java or Java compatible Runtime

or java7-runtime

virtual package provided by default-jre, openjdk-17-jre, openjdk-22-jre, openjdk-23-jre

or java8-runtime

virtual package provided by default-jre, openjdk-17-jre, openjdk-22-jre, openjdk-23-jre

or java9-runtime

virtual package provided by default-jre, openjdk-17-jre, openjdk-22-jre, openjdk-23-jre

or java10-runtime

virtual package provided by default-jre, openjdk-17-jre, openjdk-22-jre, openjdk-23-jre

or java11-runtime

virtual package provided by default-jre, openjdk-17-jre, openjdk-22-jre, openjdk-23-jre
dep: jarwrapper (>= 0.5)

Run executable Java .jar files
dep: libcommons-cli-java

Command line arguments and options parsing library

Download sat4j

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	548.9 kB	687.0 kB	[list of files]