Пакет: cryptominisat (5.11.21+dfsg1-1 и други)

[ Източник: cryptominisat  ]

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

• dep: libboost-program-options1.83.0 (>= 1.83.0) [ia64]

  program options library for C++

• dep: libc6 (>= 2.37) [sh4]

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

  dep: libc6 (>= 2.38) [не alpha, ia64, sh4]

• dep: libc6.1 (>= 2.34) [alpha]

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libcryptominisat5-5.11t64 (>= 5.11.15+dfsg1) [ia64]

  SAT solver library

  dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1) [не ia64]

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]

  GCC support library

  dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sh4, sparc64]

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [i386]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  GCC support library

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  GCC support library

• dep: libstdc++6 (>= 13.1)

  GNU Standard C++ Library v3

• dep: libunwind8 [ia64]

  library to determine the call-chain of a program - runtime

• dep: zlib1g (>= 1:1.1.4) [не armel, armhf, hppa, m68k, sh4]

  compression library - runtime

  dep: zlib1g (>= 1:1.2.3.3) [armel, armhf, hppa, m68k, sh4]

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

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	5.11.21+dfsg1-1	81,6 кБ	354,0 кБ	[списък на файловете]
amd64	5.11.21+dfsg1-1+b2	89,0 кБ	305,0 кБ	[списък на файловете]
arm64	5.11.21+dfsg1-1+b2	79,2 кБ	289,0 кБ	[списък на файловете]
armel	5.11.21+dfsg1-1+b2	78,4 кБ	264,0 кБ	[списък на файловете]
armhf	5.11.21+dfsg1-1+b2	81,3 кБ	208,0 кБ	[списък на файловете]
hppa (неофициална архитектура)	5.11.21+dfsg1-1+b2	87,6 кБ	315,0 кБ	[списък на файловете]
i386	5.11.21+dfsg1-1+b2	95,4 кБ	312,0 кБ	[списък на файловете]
ia64 (неофициална архитектура)	5.11.15+dfsg1-1.1	88,3 кБ	495,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	5.11.21+dfsg1-1+b2	83,0 кБ	288,0 кБ	[списък на файловете]
mips64el	5.11.21+dfsg1-1+b2	81,6 кБ	371,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	5.11.21+dfsg1-1+b2	89,6 кБ	417,0 кБ	[списък на файловете]
ppc64el	5.11.21+dfsg1-1+b2	89,3 кБ	353,0 кБ	[списък на файловете]
riscv64	5.11.21+dfsg1-1+b2	87,4 кБ	269,0 кБ	[списък на файловете]
s390x	5.11.21+dfsg1-1+b2	85,7 кБ	309,0 кБ	[списък на файловете]
sh4 (неофициална архитектура)	5.11.21+dfsg1-1+b1	98,5 кБ	289,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	5.11.21+dfsg1-1+b2	72,1 кБ	1 062,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	5.11.21+dfsg1-1+b2	90,6 кБ	288,0 кБ	[списък на файловете]