Source Package: sat4j (2.3.5-0.3)
Links for sat4j
Debian Resources:
Maintainer:
External Resources:
The following binary packages are built from this source package:
- sat4j
- Effektivt bibliotek af SAT-løsere i Java
Other Packages Related to sat4j
-
- adep:
debhelper
(>= 10)
- Hjælpeprogrammer for debian/rules
-
- adep:
ant
- Javabaseret byggeværktøj svarende til make
-
- idep:
javahelper
- Hjælpeskripter for pakning af Javaprogrammer
-
- idep:
default-jdk
- Standard Java or Java compatible Development Kit
-
- idep:
libcommons-cli-java
- Fortolkningsbibliotek argumenter og indstillinger på kommandolinjen
-
- idep:
libcommons-beanutils-java
- Apache Commons BeanUtils - redskab til at manipulere Java-bønner
-
- idep:
rhino
- JavaScript-motor skrevet i Java
-
- idep:
junit4
- Rammeværktøj for JUnit-regressionstest for Java
-
- idep:
libjmock-java
- Javabibliotek for test af kode med mockobjekter
-
- idep:
ant-optional
- Javabaseret byggeværktøj svarende til make - valgbare biblioteker
-
- idep:
libmockito-java
- Mocking-ramme for Java
-
- idep:
maven-repo-helper
- Helper tools for including Maven metadata in Debian packages
