[ Source: sat4j ]
Package: sat4j (2.3.5-0.3)
Links for sat4j
Debian Resources:
Download Source Package sat4j:
Maintainer:
External Resources:
- Homepage [www.sat4j.org]
Similar packages:
libreria efficiente per solutori SAT in Java
Lo scopo della libreria SAT4J รจ fornire una libreria efficiente per risolutori SAT in Java. Rispetto al progetto OpenSAT, la libreria SAT4J si rivolge a utenti alle prime armi con "scatole nere" SAT, che intendano inglobare le tecnologie SAT nelle proprie applicazioni senza curarsi dei dettagli. Il progetto SAT4J tenta anche di fornire una base di lavoro per ricercatori SAT.
Other Packages Related to sat4j
|
|
|
|
-
- dep: default-jre
- runtime Java standard o compatibile
- 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)
- esegue file .jar Java
-
- dep: libcommons-cli-java
- libreria per analisi di argomenti e opzioni della riga di comando
Download sat4j
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 548.9 kB | 687.0 kB | [list of files] |