[  etiona  ] [  nabia  ] [  aramo  ]

sat4j 的相關超連結

Trisquel 的資源：

• 報告問題
• Changelog
• 版權文件

維護者：

• Michael Tautschnig

Original Maintainer:

• Michael Tautschnig

外部的資源：

• 主頁 [www.sat4j.org]

本原始碼套件構建了以下這些二進制套件：

sat4j

Efficient library of SAT solvers in Java

其他與 sat4j 有關的套件

完整構建時刻依賴

單獨構建時刻依賴

• adep: debhelper (>= 10)

  helper programs for debian/rules

• adep: ant

  Java based build tool like make

• idep: javahelper

  Helper scripts for packaging Java programs

• idep: default-jdk

  Standard Java or Java compatible Development Kit

• idep: libcommons-cli-java

  Command line arguments and options parsing library

• idep: libcommons-beanutils-java

  Apache Commons BeanUtils - Utility for manipulating Java beans

• 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

• idep: libmockito-java

  mocking framework for Java

• idep: maven-repo-helper

  Helper tools for including Maven metadata in Debian packages

Download sat4j

文件	大小(單位: kB)	MD5 檢查碼
sat4j_2.3.5-0.2.dsc	1.8 kB	0b1dd31472ecbde93eb61025ce9d5faa
sat4j_2.3.5.orig.tar.gz	13,426.7 kB	526e70e3810aa515f2235da1d01fd71c
sat4j_2.3.5-0.2.debian.tar.xz	16.4 kB	cb5e980fc68aa4e8626345c43f84fdca