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

Package: libcryptominisat5-5.8 (5.8.0+dfsg1-1 and others)

Links for libcryptominisat5-5.8


Debian Resources:

Download Source Package cryptominisat:


External Resources:

Similar packages:

SAT solver library

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides a shared library to link against the CryptoMiniSat library.

Other Packages Related to libcryptominisat5-5.8

  • depends
  • recommends
  • suggests
  • enhances

Download libcryptominisat5-5.8

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 5.8.0+dfsg1-1+b3 422.5 kB1,368.0 kB [list of files]
amd64 5.8.0+dfsg1-1+b3 406.3 kB1,090.0 kB [list of files]
arm64 5.8.0+dfsg1-1+b3 370.1 kB1,021.0 kB [list of files]
armel 5.8.0+dfsg1-1+b3 365.7 kB1,025.0 kB [list of files]
armhf 5.8.0+dfsg1-1+b3 375.7 kB757.0 kB [list of files]
hppa (unofficial port) 5.8.0+dfsg1-1+b3 455.4 kB1,399.0 kB [list of files]
i386 5.8.0+dfsg1-1+b3 431.6 kB1,157.0 kB [list of files]
m68k (unofficial port) 5.8.0+dfsg1-1+b3 376.8 kB1,069.0 kB [list of files]
mips64el 5.8.0+dfsg1-1+b3 389.0 kB1,336.0 kB [list of files]
mipsel 5.8.0+dfsg1-1+b3 405.2 kB1,325.0 kB [list of files]
ppc64 (unofficial port) 5.8.0+dfsg1-1+b3 447.2 kB1,558.0 kB [list of files]
ppc64el 5.8.0+dfsg1-1+b3 445.0 kB1,430.0 kB [list of files]
riscv64 (unofficial port) 5.8.0+dfsg1-1+b3 410.4 kB915.0 kB [list of files]
s390x 5.8.0+dfsg1-1+b3 372.4 kB1,145.0 kB [list of files]
sh4 (unofficial port) 5.8.0+dfsg1-1+b3 500.4 kB1,090.0 kB [list of files]
sparc64 (unofficial port) 5.8.0+dfsg1-1+b3 350.8 kB1,109.0 kB [list of files]