all options
bullseye  ] [  sid  ]
[ Source: cryptominisat  ]

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

Links for cryptominisat


Debian Resources:

Download Source Package cryptominisat:


External Resources:

Similar packages:

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

  • depends
  • recommends
  • suggests
  • enhances

Download cryptominisat

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 5.8.0+dfsg1-1+b3 89.4 kB376.0 kB [list of files]
amd64 5.8.0+dfsg1-1+b3 86.0 kB318.0 kB [list of files]
arm64 5.8.0+dfsg1-1+b3 80.6 kB306.0 kB [list of files]
armel 5.8.0+dfsg1-1+b3 78.0 kB276.0 kB [list of files]
armhf 5.8.0+dfsg1-1+b3 80.2 kB224.0 kB [list of files]
hppa (unofficial port) 5.8.0+dfsg1-1+b3 91.6 kB348.0 kB [list of files]
i386 5.8.0+dfsg1-1+b3 90.9 kB300.0 kB [list of files]
m68k (unofficial port) 5.8.0+dfsg1-1+b3 85.0 kB308.0 kB [list of files]
mips64el 5.8.0+dfsg1-1+b3 80.6 kB376.0 kB [list of files]
mipsel 5.8.0+dfsg1-1+b3 82.9 kB352.0 kB [list of files]
ppc64 (unofficial port) 5.8.0+dfsg1-1+b3 89.4 kB486.0 kB [list of files]
ppc64el 5.8.0+dfsg1-1+b3 89.5 kB422.0 kB [list of files]
riscv64 (unofficial port) 5.8.0+dfsg1-1+b3 85.7 kB288.0 kB [list of files]
s390x 5.8.0+dfsg1-1+b3 81.4 kB326.0 kB [list of files]
sh4 (unofficial port) 5.8.0+dfsg1-1+b3 98.6 kB301.0 kB [list of files]
sparc64 (unofficial port) 5.8.0+dfsg1-1+b3 77.2 kB325.0 kB [list of files]