всички настройки
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Пакет-източник: sat4j (2.3.1-1)

Връзки за sat4j

Ресурси за Debian:

Отговорник:

Външни препратки:

Следните двоични пакети са компилирани от този пакет-източник:
sat4j
Efficient library of SAT solvers in Java

Други пакети, свързани с sat4j

  • зависимости при компилиране
  • зависимости при компилиране (архитектурно-независими)

Download sat4j

ФайлГолемина (в кБ)контролна сума MD5
sat4j_2.3.1-1.dsc 1,2 кБ 9043f37a911fe5df2fe142fd8fd8c7c3
sat4j_2.3.1.orig.tar.gz 13 594,2 кБ 79c952e6fb2b8f8236d5f7ea96360a17
sat4j_2.3.1-1.debian.tar.gz 11,3 кБ ff0666d3cfbea2a25d515b19c650648b