packages
[ 源代码: sat4j ]
软件包: sat4j (2.3.1-1) [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
- 或者 java2-runtime
- 本虚包由这些包填实: default-jre, gcj-4.6-jre, gcj-jre, openjdk-6-jre, openjdk-7-jre
- 或者 java5-runtime
- 本虚包由这些包填实: default-jre, gcj-4.6-jre, gcj-jre, openjdk-6-jre, openjdk-7-jre
- 或者 java6-runtime
- 本虚包由这些包填实: default-jre, openjdk-6-jre, openjdk-7-jre
-
- dep: jarwrapper (>= 0.5)
- Run executable Java .jar files
-
- dep: libcommons-cli-java
- API for working with the command line arguments and options