Pardus Paket İzleyici
Ana Sayfa
GitHub İstatistikleri
Tüm İstatistikler
Sadece Ekip Dışı İstatistikler
Güncellemeler
Pardus 25 Güncellemeleri
Pardus 23 Güncellemeleri
English
Türkçe
Yirmibir / cryptominisat
SAT solver command line interface
Debian Science Team
debian-science-maintainers@lists.alioth.debian.org
https://www.msoos.org/
5.8.0+dfsg1-1+b3
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb
86.0 KiB
math
amd64
cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
cryptominisat_5.8.0+dfsg1-1.dsc
cryptominisat_5.8.0+dfsg1.orig.tar.xz
Debian Versiyonu: 5.8.0+dfsg1-1+b3
SAT solver command line interface
Diğer Pardus sürümlerindeki versiyonlar
Pardus
Paket
Versiyon
yirmibes
cryptominisat
5.11.21+dfsg1-2
yirmiuc
cryptominisat
5.11.4+dfsg1-2+b1