Пакунок: cryptominisat (5.11.15+dfsg1-1.1) [debports]

Links for cryptominisat

Debian Resources:

Bug Reports

Download Source Package :

Не знайдено

Maintainers:

External Resources:

Homepage [www.msoos.org]

Similar packages:

SAT solver command line interface

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.

Інші пакунки пов'язані з cryptominisat

depends

recommends

suggests

enhances

dep: libboost-program-options1.83.0 (>= 1.83.0)

Бібліотека параметрів програми на Сі++
dep: libc6.1 (>= 2.37)

Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6.1-udeb
dep: libcryptominisat5-5.11t64 (>= 5.11.15+dfsg1)

SAT solver library
dep: libstdc++6 (>= 13.1)

Стандартна бібліотека C++ GNU, версії 3
dep: libunwind8

library to determine the call-chain of a program - runtime
dep: zlib1g (>= 1:1.1.4)

Бібліотека стискання даних (виконавчий модуль)

Завантажити cryptominisat

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
ia64 (unofficial port)	88.3 kB	495.0 kB	[список файлів]