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

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

Links for python3-cryptominisat


Debian Resources:

Download Source Package cryptominisat:


External Resources:

Similar packages:

Python bindings for the CryptoMiniSat SAT solver (Python 3)

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

This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See for examples.

Other Packages Related to python3-cryptominisat

  • depends
  • recommends
  • suggests
  • enhances

Download python3-cryptominisat

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 5.8.0+dfsg1-1+b3 18.6 kB62.0 kB [list of files]
amd64 5.8.0+dfsg1-1+b3 18.7 kB62.0 kB [list of files]
arm64 5.8.0+dfsg1-1+b3 18.3 kB57.0 kB [list of files]
armel 5.8.0+dfsg1-1+b3 17.5 kB52.0 kB [list of files]
armhf 5.8.0+dfsg1-1+b3 17.6 kB48.0 kB [list of files]
hppa (unofficial port) 5.8.0+dfsg1-1+b3 19.7 kB58.0 kB [list of files]
i386 5.8.0+dfsg1-1+b3 19.5 kB60.0 kB [list of files]
m68k (unofficial port) 5.8.0+dfsg1-1+b3 18.5 kB60.0 kB [list of files]
mips64el 5.8.0+dfsg1-1+b3 18.8 kB59.0 kB [list of files]
mipsel 5.8.0+dfsg1-1+b3 18.7 kB58.0 kB [list of files]
ppc64 (unofficial port) 5.8.0+dfsg1-1+b3 19.9 kB94.0 kB [list of files]
ppc64el 5.8.0+dfsg1-1+b3 19.7 kB94.0 kB [list of files]
riscv64 (unofficial port) 5.8.0+dfsg1-1+b3 18.3 kB54.0 kB [list of files]
s390x 5.8.0+dfsg1-1+b3 18.2 kB57.0 kB [list of files]
sh4 (unofficial port) 5.8.0+dfsg1-1+b3 19.5 kB57.0 kB [list of files]
sparc64 (unofficial port) 5.8.0+dfsg1-1+b3 17.6 kB63.0 kB [list of files]