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

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

Links for python3-cryptominisat

Screenshot

Debian Resources:

Download Source Package cryptominisat:

Maintainers:

External Resources:

Similar packages:

collegamenti Python per il risolutore SAT CryptoMiniSat (Python 3)

CryptoMiniSat è un risolutore SAT moderno, con thread multipli e semplificante.

Questo pacchetto fornisce il modulo pycryptosat per usare CryptoMiniSat da Python 3. Per gli esempi si veda https://github.com/msoos/cryptominisat#python-usage .

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
mipsel 5.8.0+dfsg1-1+b3 18.7 kB58.0 kB [list of files]