[ Kaynak: cryptominisat ]
Paket: cryptominisat (5.11.21+dfsg1-3)
cryptominisat için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
cryptominisat Kaynak Paketini İndir:
- [cryptominisat_5.11.21+dfsg1-3.dsc]
- [cryptominisat_5.11.21+dfsg1.orig.tar.xz]
- [cryptominisat_5.11.21+dfsg1-3.debian.tar.xz]
Geliştiriciler:
- Debian Science Maintainers (QA Sayfası, Posta Arşivi)
- Julian Rüth (QA Sayfası)
- Julien Puydt (QA Sayfası)
Dış Kaynaklar:
- Ana Sayfa [www.msoos.org]
Benzer paketler:
SAT solver command line interface
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.
cryptominisat ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)
- SAT solver library
-
- dep: libgcc-s1 (>= 3.0) [armhf, i386, riscv64 değil]
- GCC support library
- dep: libgcc-s1 (>= 3.4) [riscv64]
- dep: libgcc-s1 (>= 3.5) [armhf]
- dep: libgcc-s1 (>= 4.2) [i386]
-
- dep: libstdc++6 (>= 13.1)
- GNU Standard C++ Library v3
-
- dep: zlib1g (>= 1:1.1.4) [armhf değil]
- compression library - runtime
- dep: zlib1g (>= 1:1.2.3.3) [armhf]
cryptominisat indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| amd64 | 89,3 kB | 304,0 kB | [dosya listesi] |
| arm64 | 79,3 kB | 288,0 kB | [dosya listesi] |
| armhf | 81,4 kB | 223,0 kB | [dosya listesi] |
| i386 | 95,4 kB | 311,0 kB | [dosya listesi] |
| ppc64el | 88,8 kB | 352,0 kB | [dosya listesi] |
| riscv64 | 87,4 kB | 268,0 kB | [dosya listesi] |
| s390x | 85,7 kB | 308,0 kB | [dosya listesi] |