packages
[ Източник: sat4j ]
Пакет: sat4j (2.3.5-0.3) [universe]
Връзки за sat4j
Ресурси за Ubuntu:
Изтегляне на пакет-източник sat4j.
Отговорник:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Michael Tautschnig
It should generally not be necessary for users to contact the original maintainer.
Външни препратки:
- Начална страница [www.sat4j.org]
Подобни пакети:
Efficient library of SAT solvers in Java
Други пакети, свързани с sat4j
|
|
|
|
-
- dep: default-jre
- Standard Java or Java compatible Runtime
- или java7-runtime
- виртуален пакет, предлаган от default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-21-jre, openjdk-8-jre
- или java8-runtime
- виртуален пакет, предлаган от default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-21-jre, openjdk-8-jre
- или java9-runtime
- виртуален пакет, предлаган от default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-21-jre
- или java10-runtime
- виртуален пакет, предлаган от default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-21-jre
- или java11-runtime
- виртуален пакет, предлаган от default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-21-jre
-
- dep: jarwrapper (>= 0.5)
- Run executable Java .jar files
-
- dep: libcommons-cli-java
- Command line arguments and options parsing library
Изтегляне на sat4j
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| all | 548,1 кБ | 687,0 кБ | [списък на файловете] |