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

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

Ссылки для picosat

Ресурсы Debian:

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

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

Из этого пакета исходного кода собираются следующие двоичные пакеты:
picosat
SAT solver with proof and core support

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

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

Download picosat

ФайлРазмер (в Кб)Контрольная сумма MD5
picosat_960-1.dsc 1,7 Кб 525c9c8d824a2e61b366ae28ef4b4a6e
picosat_960.orig.tar.gz 61,8 Кб bee515cd9fd12ffaffab10b3587aa833
picosat_960-1.debian.tar.xz 6,0 Кб 319a15a4277a2f91cca97d1e4b44e812