все параметры
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Пакет исходного кода: sat4j (2.3.6-1)

Ссылки для sat4j

Ресурсы Debian:

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

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

Из этого пакета исходного кода собираются следующие двоичные пакеты:
sat4j
эффективная библиотека SAT-решателей на Java

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

  • для сборки
  • build-depends-indep

Download sat4j

ФайлРазмер (в Кб)Контрольная сумма MD5
sat4j_2.3.6-1.dsc 2,0 Кб 637b6ac63d4186e1389c3b2ec6ea5fe4
sat4j_2.3.6.orig.tar.xz 6 605,7 Кб 5fe729d34b717f7eb890f0df557225c6
sat4j_2.3.6-1.debian.tar.xz 16,5 Кб 5a4f2090108861f0039aaec02ac7ac43
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://salsa.debian.org/science-team/sat4j.git
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://salsa.debian.org/science-team/sat4j