Kaynak Paket: picosat (960-1)
picosat için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
Geliştirici:
Dış Kaynaklar:
- Ana Sayfa [fmv.jku.at]
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
|
|
-
- adep: debhelper (>= 7.0.50~)
- helper programs for debian/rules
Download picosat
| Dosya | Boyut (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 |