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 кБ56 кБ [списък на файловете]