Skip to content
Sections
>> Trisquel >> 软件包 >> aramo >> python >> python3-cryptominisat
aramo  ]
[ 源代码: cryptominisat  ]

软件包: 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.

其他与 python3-cryptominisat 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • dep: libc6 (>= 2.17)
    GNU C Library: Shared libraries
    同时作为一个虚包由这些包填实: libc6-udeb
  • dep: libcryptominisat5-5.8 (>= 5.8.0+dfsg1)
    SAT solver library
  • dep: libgcc-s1 (>= 3.3.1)
    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~)

下载 python3-cryptominisat

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
arm64 18.8 kB56 kB [文件列表]