Package: sat4j (2.3.5-0.3)

[ Source: sat4j  ]

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

• dep: default-jre

  Standard Java or Java compatible Runtime

  or java7-runtime

  virtual package provided by default-jre, openjdk-17-jre, openjdk-21-jre

  or java8-runtime

  virtual package provided by default-jre, openjdk-17-jre, openjdk-21-jre

  or java9-runtime

  virtual package provided by default-jre, openjdk-17-jre, openjdk-21-jre

  or java10-runtime

  virtual package provided by default-jre, openjdk-17-jre, openjdk-21-jre

  or java11-runtime

  virtual package provided by default-jre, openjdk-17-jre, openjdk-21-jre

• dep: jarwrapper (>= 0.5)

  executar arquivo Java .jar executáveis

• 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]