Skip to content
Sections
>> Trisquel >> Paket >> aramo >> python >> python3-cryptominisat
aramo  ]
[ Källkod: cryptominisat  ]

Paket: python3-cryptominisat (5.8.0+dfsg1-2)

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 https://github.com/msoos/cryptominisat#python-usage for examples.

Andra paket besläktade med python3-cryptominisat

  • beror
  • rekommenderar
  • föreslår
  • dep: libc6 (>= 2.4)
    GNU C Library: Shared libraries
    också ett virtuellt paket som tillhandahålls av libc6-udeb
  • dep: libcryptominisat5-5.8 (>= 5.8.0+dfsg1)
    SAT solver library
  • dep: libgcc-s1 (>= 3.5)
    GCC support library
  • dep: libstdc++6 (>= 11)
    GNU Standard C++ Library v3
  • dep: python3 (<< 3.11)
    interactive high-level object-oriented language (default python3 version)
    dep: python3 (>= 3.10~)

Hämta python3-cryptominisat

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
armhf 18,0 kbyte47 kbyte [filförteckning]