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 resolvedores SAT em Java

O objetivo da biblioteca SAT4J é fornecer uma biblioteca eficiente de resolvedores SAT em Java. Comparado ao projeto OpenSAT, a biblioteca SAT4J foca em usuários de SAT como "caixas-pretas", que querem embarcar tecnologias SAT em suas aplicações sem se preocupar com detalhes. O projeto SAT4J também tenta fornecer uma base de trabalho para pesquisadores 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

ambiente de execução Java padrão ou compatível com Java

or java7-runtime

virtual package provided by default-jre, openjdk-11-jre

or java8-runtime

virtual package provided by default-jre, openjdk-11-jre

or java9-runtime

virtual package provided by default-jre, openjdk-11-jre

or java10-runtime

virtual package provided by default-jre, openjdk-11-jre

or java11-runtime

virtual package provided by default-jre, openjdk-11-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]