Пакет: python3-cryptominisat (5.11.21+dfsg1-2)

Ссылки для python3-cryptominisat

• Отслеживание заплат eLxr

Исходный код cryptominisat:

• [cryptominisat_5.11.21+dfsg1-2.debian.tar.xz]
• [cryptominisat_5.11.21+dfsg1-2.dsc]
• [cryptominisat_5.11.21+dfsg1.orig.tar.xz]

Сопровождающие:

• Debian Science Maintainers
• Julian Rüth
• Julien Puydt

Внешние ресурсы:

• Сайт [www.msoos.org]

Подобные пакеты:

• libcryptominisat5-5.11t64
• cryptominisat
• python3-pycosat
• libghc-doctest-parallel-dev
• libghc-doctest-parallel-doc
• libghc-doctest-parallel-prof
• python3-codetiming
• python3-liblinear
• python3-brotlicffi
• python3-nh3
• python3-discogs-client

Другие пакеты, относящиеся к python3-cryptominisat

• dep: libc6 (>= 2.34)

  GNU C Library: Shared libraries
  также виртуальный пакет, предоставляемый libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  GCC support library

• dep: libstdc++6 (>= 13.1)

  GNU Standard C++ Library v3

• dep: python3 (<< 3.14)

  interactive high-level object-oriented language (default python3 version)

  dep: python3 (>= 3.13~)

Загрузка python3-cryptominisat