Package: sat4j (2.3.5-0.3)

[ Source: sat4j  ]

Effektivt bibliotek af SAT-løsere i Java

Formålet med SAT4J-biblioteket er at tilbyde et effektivt bibliotek af SAT-løsere i Java. Sammenlignet med OpenSAT-projektet, har SAT4J-biblioteket som målgruppe førstegangsbrugere af SAT »sorte bokse«, som vil indlejre SAT-teknologier i deres program uden at bekymre sig om detaljerne. SAT4J-projektet forsøger også at tilbyde et grundlæggende arbejde for SAT-forskere.

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

Other Packages Related to sat4j

• dep: default-jre

  Standardjava eller Javakompatibel kørselstid

  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)

  Kør kørbare Java .jar-filer

• dep: libcommons-cli-java

  Fortolkningsbibliotek argumenter og indstillinger på kommandolinjen

Download sat4j

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	548.9 kB	687.0 kB	[list of files]