Source Package: sat4j (2.2.0-3)
The following binary packages are built from this source package:
- sat4j
- Efficient library of SAT solvers in Java
Other Packages Related to sat4j
|
|
-
- adep: debhelper (>= 6.0.7~)
- helper programs for debian/rules
-
- idep: javahelper
- Helper scripts for packaging Java programs
-
- idep: default-jdk
- Standard Java or Java compatible Development Kit
-
- idep: libcommons-cli-java
- API for working with the command line arguments and options
-
- idep: libcommons-beanutils-java
- utility for manipulating JavaBeans
-
- idep: rhino
- JavaScript engine written in Java
-
- idep: junit4
- JUnit regression test framework for Java
-
- idep: libjmock-java
- Java library for testing code with mock objects
-
- idep: ant-optional
- Java based build tool like make - optional libraries
also a virtual package provided by ant1.7-optional
Download sat4j
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| sat4j_2.2.0-3.dsc | 1.1 kB | 74948e65299114d9dd8ca640343795ed |
| sat4j_2.2.0.orig.tar.gz | 13,491.6 kB | 13cfe18f1f16d016bf43558945a7662a |
| sat4j_2.2.0-3.debian.tar.gz | 10.9 kB | 2221faf19bf9415936a83ddb8bf75878 |
