tüm seçenekler
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]

Kaynak Paket: picosat (960-1)

picosat için bağlantılar

Debian Kaynakları:

Geliştirici:

Dış Kaynaklar:

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
picosat
SAT solver with proof and core support

picosat ile İlgili Diğer Paketler

  • inşa bağımlılıkları
  • bağımsız inşa bağımlılıkları

Download picosat

DosyaBoyut (kB cinsinden)MD5 sağlama toplamı
picosat_960-1.dsc 1,7 kB 525c9c8d824a2e61b366ae28ef4b4a6e
picosat_960.orig.tar.gz 61,8 kB bee515cd9fd12ffaffab10b3587aa833
picosat_960-1.debian.tar.xz 6,0 kB 319a15a4277a2f91cca97d1e4b44e812