не показывать навигацию

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Пакеты / sid (unstable) / Исходный код / science / sat4j

[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Ссылки для sat4j

Ресурсы Debian:

• Сообщения об ошибках
• Developer Information
• Debian журнал изменений
• Файл авторских прав
• Отслеживание заплат Debian

Сопровождающий:

• Michael Tautschnig (Страница КК)

Внешние ресурсы:

• Сайт [www.sat4j.org]

Из этого пакета исходного кода собираются следующие двоичные пакеты:

sat4j

эффективная библиотека SAT-решателей на Java

Другие пакеты, относящиеся к sat4j

для сборки

build-depends-indep

• adep: debhelper (>= 10)

  вспомогательные программы для 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-движок написанный на 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

Файл	Размер (в Кб)	Контрольная сумма MD5
sat4j_2.3.5-0.3.dsc	2,0 Кб	3133323b2fad24c55637185c5cd26dcd
sat4j_2.3.5.orig.tar.gz	13 426,7 Кб	526e70e3810aa515f2235da1d01fd71c
sat4j_2.3.5-0.3.debian.tar.xz	16,7 Кб	8020f66d1a2eb30f070491f66f649603