Paquet source : sat4j (2.3.5-0.3)
Liens pour sat4j
Ressources Debian :
Responsable :
Ressources externes :
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- sat4j
- bibliothèque de solveurs SAT en Java
Autres paquets associés à sat4j
-
- adep:
debhelper
(>= 10)
- programmes assistants pour debian/rules
-
- adep:
ant
- outil de construction « à la make » basé sur Java
-
- idep:
javahelper
- scripts d'aide pour l'empaquetage de programmes Java
-
- idep:
default-jdk
- kit de développement Java standard ou compatible
-
- idep:
libcommons-cli-java
- Command line arguments and options parsing library
-
- idep:
libcommons-beanutils-java
- BeanUtils d'Apache Commons –⋅utilitaire pour la manipulation de composants Java
-
- idep:
rhino
- moteur JavaScript écrit en Java
-
- idep:
junit4
- cadriciel de tests de régression pour Java
-
- idep:
libjmock-java
- Java library for testing code with mock objects
-
- idep:
ant-optional
- outil de construction « à la make » basé sur Java – bibliothèques optionnelles
-
- idep:
libmockito-java
- mocking framework for Java
-
- idep:
maven-repo-helper
- Helper tools for including Maven metadata in Debian packages