[ 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:
자바에서 SAT 솔버에 대한 효율적인 라이브러리
SAT4J의 목적은 자바에서 SAT 솔버에 대한 효과적인 라이브러리를 제공하는 것 입니다. OpenSAT 프로젝트와 비교해서, SAT4J 라이브러리는 세부 사항에 대한 걱 정 없이 어플리케이션에 SAT 기술을 포함하고자 하는 SAT "블랙 박스" 첫 사용자 를 대상으로 합니다. SAT4J 프로젝트는 또한 SAT 연구원들을 위한 작업의 기초를 제공하려 노력합니다.
Other Packages Related to sat4j
|
|
|
|
-
- dep: default-jre
- 표준 Java 또는 Java 호환 런타임
- or java7-runtime
- virtual package provided by default-jre, openjdk-17-jre
- or java8-runtime
- virtual package provided by default-jre, openjdk-17-jre
- or java9-runtime
- virtual package provided by default-jre, openjdk-17-jre
- or java10-runtime
- virtual package provided by default-jre, openjdk-17-jre
- or java11-runtime
- virtual package provided by default-jre, openjdk-17-jre
-
- dep: jarwrapper (>= 0.5)
- Run executable Java .jar files
-
- dep: libcommons-cli-java
- Command line arguments and options parsing library
Download sat4j
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 548.9 kB | 687.0 kB | [list of files] |