[ Pakiet źródłowy: cryptominisat ]
Pakiet: cryptominisat (5.8.0+dfsg1-1 i inne)
Odnośniki dla cryptominisat
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego cryptominisat:
- [cryptominisat_5.8.0+dfsg1-1.dsc]
- [cryptominisat_5.8.0+dfsg1.orig.tar.xz]
- [cryptominisat_5.8.0+dfsg1-1.debian.tar.xz]
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [www.msoos.org]
Podobne pakiety:
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.
Inne pakiety związane z cryptominisat
|
|
|
|
-
- dep: libboost-program-options1.74.0 (>= 1.74.0)
- program options library for C++
-
- dep: libc6 (>= 2.29)
- Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
-
- dep: libcryptominisat5-5.8 (>= 5.8.0+dfsg1)
- SAT solver library
-
- dep: libgcc-s1 (>= 3.0) [nie armel, armhf, i386, mipsel]
- Biblioteka wspomagająca GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [i386, mipsel]
-
- dep: libstdc++6 (>= 9)
- Standardowa biblioteka GNU C++, wersja 3
-
- dep: zlib1g (>= 1:1.1.4)
- Biblioteka kompresyjna - pliki wykonawcze
Pobieranie cryptominisat
Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|---|
amd64 | 5.8.0+dfsg1-1+b3 | 86,0 KiB | 318,0 KiB | [lista plików] |
arm64 | 5.8.0+dfsg1-1+b3 | 80,6 KiB | 306,0 KiB | [lista plików] |
armel | 5.8.0+dfsg1-1+b3 | 78,0 KiB | 276,0 KiB | [lista plików] |
armhf | 5.8.0+dfsg1-1+b3 | 80,2 KiB | 224,0 KiB | [lista plików] |
i386 | 5.8.0+dfsg1-1+b3 | 90,9 KiB | 300,0 KiB | [lista plików] |
mips64el | 5.8.0+dfsg1-1+b3 | 80,6 KiB | 376,0 KiB | [lista plików] |
mipsel | 5.8.0+dfsg1-1+b3 | 82,9 KiB | 352,0 KiB | [lista plików] |
ppc64el | 5.8.0+dfsg1-1+b3 | 89,5 KiB | 422,0 KiB | [lista plików] |
s390x | 5.8.0+dfsg1-1+b3 | 81,4 KiB | 326,0 KiB | [lista plików] |