[ aramo ]
[ Kaynak: cryptominisat ]
Paket: cryptominisat (5.8.0+dfsg1-2)
cryptominisat için bağlantılar
Trisquel Kaynakları:
cryptominisat Kaynak Paketini İndir:
- [cryptominisat_5.8.0+dfsg1-2.dsc]
- [cryptominisat_5.8.0+dfsg1.orig.tar.xz]
- [cryptominisat_5.8.0+dfsg1-2.debian.tar.xz]
Geliştirici:
Original Maintainers:
- Debian Science Team (Posta Arşivi)
- Julian Rüth
- Julien Puydt
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: libboost-program-options1.74.0 (>= 1.74.0)
- program options library for C++
-
- dep: libc6 (>= 2.34)
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libcryptominisat5-5.8 (>= 5.8.0+dfsg1)
- SAT solver library
-
- dep: libgcc-s1 (>= 3.3.1) [armhf değil]
- GCC support library
- dep: libgcc-s1 (>= 3.5) [armhf]
-
- dep: libstdc++6 (>= 11)
- GNU Standard C++ Library v3
-
- dep: zlib1g (>= 1:1.1.4)
- compression library - runtime
cryptominisat indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| amd64 | 90,8 kB | 301 kB | [dosya listesi] |
| arm64 | 87,0 kB | 281 kB | [dosya listesi] |
| armhf | 86,6 kB | 223 kB | [dosya listesi] |
| ppc64el | 97,0 kB | 421 kB | [dosya listesi] |