Package: cryptominisat (5.11.21+dfsg1-1)

[ 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: libc6 (>= 2.34)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)

  SAT solver library

• dep: libgcc-s1 (>= 3.0) [not armel, armhf, i386]

  GCC support library

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

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

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

  GNU Standard C++ Library v3

• dep: zlib1g (>= 1:1.1.4) [not armel, armhf]

  compression library - runtime

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

Download cryptominisat

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	87.7 kB	296.0 kB	[list of files]
arm64	78.0 kB	288.0 kB	[list of files]
armel	77.1 kB	259.0 kB	[list of files]
armhf	79.4 kB	203.0 kB	[list of files]
i386	93.8 kB	303.0 kB	[list of files]
mips64el	81.1 kB	371.0 kB	[list of files]
ppc64el	88.4 kB	352.0 kB	[list of files]
s390x	84.3 kB	304.0 kB	[list of files]