[ Kaynak: minisat2 ]
Paket: minisat2 (1:2.2.1-5 ve diğerleri)
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
minisat2 Kaynak Paketini İndir:
Geliştirici:
Dış Kaynaklar:
- Ana Sayfa [minisat.se]
Benzer paketler:
Transitional package for minisat
This is a transitional package for minisat, and can be safely removed after the installation is complete.
minisat2 sağlayan paketler
- minisat
- Fast and lightweight SAT solver
minisat2 ile İlgili Diğer Paketler
|
|
|
|
-
- dep: minisat
- Fast and lightweight SAT solver
minisat2 indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| armel | 1:2.2.1-5+b3 | 5,1 kB | 13,0 kB | [dosya listesi] |