Skip to content
Sections
>> Trisquel >> Пакеты >> ecne (12.0LTS) >> python >> python3-cryptominisat
[  aramo  ] [  ecne  ] [  ecne-updates  ] [  xolotl  ]
[ Источник: cryptominisat  ]

Пакет: python3-cryptominisat (5.11.15+dfsg1-1.1build1)

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.34)
    GNU C Library: Shared libraries
    также виртуальный пакет, предоставляемый libc6-udeb
  • dep: libgcc-s1 (>= 3.4)
    GCC support library
  • dep: libstdc++6 (>= 13.1)
    GNU Standard C++ Library v3
  • dep: python3 (<< 3.13)
    interactive high-level object-oriented language (default python3 version)
    dep: python3 (>= 3.12~)

Загрузка python3-cryptominisat

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 513,6 Кб1357 Кб [список файлов]