Package: cryptominisat (5.11.21+dfsg1-1 and others)

[ Source: 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.

Other Packages Related to cryptominisat

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

  program options library for C++

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

  GNU C könyvtár: megosztott könyvtárak
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

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

  GNU C könyvtár: megosztott könyvtárak
  also a virtual package provided by 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) [not ia64]

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

  GCC támogató programkönyvtár

  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 támogató programkönyvtár

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

  GCC támogató programkönyvtár

• 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) [not armel, armhf, hppa, m68k, sh4]

  tömörítő könyvtár - futásidejű

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

Download cryptominisat

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	5.11.21+dfsg1-1+b3	82.0 kB	355.0 kB	[list of files]
amd64	5.11.21+dfsg1-1+b3	89.2 kB	305.0 kB	[list of files]
arm64	5.11.21+dfsg1-1+b3	79.1 kB	289.0 kB	[list of files]
armel	5.11.21+dfsg1-1+b3	78.7 kB	288.0 kB	[list of files]
armhf	5.11.21+dfsg1-1+b3	81.3 kB	224.0 kB	[list of files]
hppa (unofficial port)	5.11.21+dfsg1-1+b3	87.6 kB	315.0 kB	[list of files]
i386	5.11.21+dfsg1-1+b3	95.5 kB	312.0 kB	[list of files]
ia64 (unofficial port)	5.11.15+dfsg1-1.1	88.3 kB	495.0 kB	[list of files]
m68k (unofficial port)	5.11.21+dfsg1-1+b3	84.0 kB	288.0 kB	[list of files]
mips64el	5.11.21+dfsg1-1+b3	82.6 kB	371.0 kB	[list of files]
ppc64 (unofficial port)	5.11.21+dfsg1-1+b3	89.7 kB	417.0 kB	[list of files]
ppc64el	5.11.21+dfsg1-1+b3	89.3 kB	353.0 kB	[list of files]
riscv64	5.11.21+dfsg1-1+b3	87.3 kB	269.0 kB	[list of files]
s390x	5.11.21+dfsg1-1+b3	85.8 kB	309.0 kB	[list of files]
sh4 (unofficial port)	5.11.21+dfsg1-1+b3	100.2 kB	289.0 kB	[list of files]
sparc64 (unofficial port)	5.11.21+dfsg1-1+b3	72.3 kB	1,062.0 kB	[list of files]
x32 (unofficial port)	5.11.21+dfsg1-1+b3	90.6 kB	288.0 kB	[list of files]