Paket: minisat2 (1:2.2.1-5 ve diğerleri) [debports]
minisat2 için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
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 |
|---|---|---|---|---|
| riscv64 (resmi olmayan port) | 1:2.2.1-5+b1 | 4,4 kB | 12,0 kB | [dosya listesi] |