Pakiet: sat4j (2.3.5-0.3)

[ Pakiet źródłowy: sat4j  ]

Wydajna biblioteka solverów SAT w Javie

Celem biblioteki SAT4J jest zapewnienie wydajnej biblioteki solverów SAT w Javie. W porównaniu z projektem OpenSAT biblioteka SAT4J jest skierowana do pierwszych użytkowników "czarnych skrzynek" SAT, którzy chcą osadzić technologie SAT w swoich aplikacjach, nie martwiąc się o szczegóły. Ponadto, autorzy projektu SAT4J próbują zapewnić podstawowe zaplecze pracy naukowcom SAT.

Znaczniki: Dziedzina: Matematyka, Zaimplementowane w: Java, Rola: role::program, role::shared-lib

Inne pakiety związane z sat4j

• dep: default-jre

  Standardowe lub kompatybilne środowisko uruchomieniowe Javy

  lub java7-runtime

  pakiet wirtualny udostępniany przez default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-19-jre, openjdk-20-jre, openjdk-21-jre, openjdk-22-jre, openjdk-23-jre, openjdk-8-jre

  lub java8-runtime

  pakiet wirtualny udostępniany przez default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-19-jre, openjdk-20-jre, openjdk-21-jre, openjdk-22-jre, openjdk-23-jre, openjdk-8-jre

  lub java9-runtime

  pakiet wirtualny udostępniany przez default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-19-jre, openjdk-20-jre, openjdk-21-jre, openjdk-22-jre, openjdk-23-jre

  lub java10-runtime

  pakiet wirtualny udostępniany przez default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-19-jre, openjdk-20-jre, openjdk-21-jre, openjdk-22-jre, openjdk-23-jre

  lub java11-runtime

  pakiet wirtualny udostępniany przez default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-19-jre, openjdk-20-jre, openjdk-21-jre, openjdk-22-jre, openjdk-23-jre

• dep: jarwrapper (>= 0.5)

  Uruchamianie wykonywalnych plików *.jar Javy

• dep: libcommons-cli-java

  Command line arguments and options parsing library

Pobieranie sat4j

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	548,9 KiB	687,0 KiB	[lista plików]