[ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Source: cryptominisat ]

Пакунок: libcryptominisat5-dev (5.11.4+dfsg1-2 and others)

Links for libcryptominisat5-dev

Debian Resources:

Download Source Package cryptominisat:

Maintainers:

Debian Science Team (QA Page, Mail Archive)
Julian Rüth (QA Page)
Julien Puydt (QA Page)

External Resources:

Homepage [www.msoos.org]

Similar packages:

development files for the CryptoMiniSat SAT solver

Tags: Software Development: Бібліотеки, Role: Development Library

Інші пакунки пов'язані з libcryptominisat5-dev

depends

recommends

suggests

enhances

dep: libcryptominisat5-5.11 (= 5.11.4+dfsg1-2+b1)

SAT solver library

Завантажити libcryptominisat5-dev

Завантаження для всіх доступних архітектур
Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
i386	5.11.4+dfsg1-2+b1	17.9 kB	83.0 kB	[список файлів]