Paket: cryptominisat (5.11.21+dfsg1-1 och andra)

[ Källkod: 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.

Andra paket besläktade med cryptominisat

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

  program options library for C++

• dep: libc6 (>= 2.38) [ej alpha, ia64, sh4]

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

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

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6.1-udeb

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

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

  SAT solver library

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

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

  GCC stödbibliotek

  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 stödbibliotek

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

  GCC stödbibliotek

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

  GNU standardbibliotek v3 för C++

• dep: libunwind8 [ia64]

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

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

  Kompressionsbibliotek - körtidspaket

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

Hämta cryptominisat

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	5.11.21+dfsg1-1+b3	82,0 kbyte	355,0 kbyte	[filförteckning]
amd64	5.11.21+dfsg1-1+b3	89,2 kbyte	305,0 kbyte	[filförteckning]
arm64	5.11.21+dfsg1-1+b3	79,1 kbyte	289,0 kbyte	[filförteckning]
armel	5.11.21+dfsg1-1+b3	78,7 kbyte	288,0 kbyte	[filförteckning]
armhf	5.11.21+dfsg1-1+b3	81,3 kbyte	224,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	5.11.21+dfsg1-1+b3	87,6 kbyte	315,0 kbyte	[filförteckning]
i386	5.11.21+dfsg1-1+b3	95,5 kbyte	312,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	5.11.15+dfsg1-1.1	88,3 kbyte	495,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	5.11.21+dfsg1-1+b3	84,0 kbyte	288,0 kbyte	[filförteckning]
mips64el	5.11.21+dfsg1-1+b3	82,6 kbyte	371,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	5.11.21+dfsg1-1+b3	89,7 kbyte	417,0 kbyte	[filförteckning]
ppc64el	5.11.21+dfsg1-1+b3	89,3 kbyte	353,0 kbyte	[filförteckning]
riscv64	5.11.21+dfsg1-1+b3	87,3 kbyte	269,0 kbyte	[filförteckning]
s390x	5.11.21+dfsg1-1+b3	85,8 kbyte	309,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	5.11.21+dfsg1-1+b3	100,2 kbyte	289,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	5.11.21+dfsg1-1+b3	72,3 kbyte	1.062,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	5.11.21+dfsg1-1+b3	90,6 kbyte	288,0 kbyte	[filförteckning]