Kaynak Paket: minisat2 (1:2.2.1-8)
minisat2 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 [minisat.se]
Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
- minisat
- Fast and lightweight SAT solver
minisat2 ile İlgili Diğer Paketler
|
|
-
- adep: debhelper-compat (= 13)
- Paket mevcut değil
-
- adep: libz-dev
- sanal paketi sağlayan zlib1g-dev
Download minisat2
| Dosya | Boyut (kB cinsinden) | MD5 sağlama toplamı |
|---|---|---|
| minisat2_2.2.1-8.dsc | 1,7 kB | 4e8a80b405ca661abadf8e06c5cfb075 |
| minisat2_2.2.1.orig.tar.gz | 43,2 kB | 27faa19ee0508660bd6fb7f894646d42 |
| minisat2_2.2.1-8.debian.tar.xz | 9,6 kB | 262370b7be51773ccbedea58c59bd1df |