Пакет: cryptominisat (5.11.21+dfsg1-3)

Връзки за cryptominisat

Ресурси за Debian:

Изтегляне на пакет-източник cryptominisat.

Отговорници:

Външни препратки:

Начална страница [www.msoos.org]

Подобни пакети:

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

зависимости

препоръчани

предложени

enhances

dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)

SAT solver library
dep: libgcc-s1 (>= 3.0) [не armhf, i386, riscv64]

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]

compression library - runtime

dep: zlib1g (>= 1:1.2.3.3) [armhf]

Изтегляне на cryptominisat

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
amd64	89,3 кБ	304,0 кБ	[списък на файловете]
arm64	79,3 кБ	288,0 кБ	[списък на файловете]
armhf	81,4 кБ	223,0 кБ	[списък на файловете]
i386	95,4 кБ	311,0 кБ	[списък на файловете]
ppc64el	88,8 кБ	352,0 кБ	[списък на файловете]
riscv64	87,4 кБ	268,0 кБ	[списък на файловете]
s390x	85,7 кБ	308,0 кБ	[списък на файловете]