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

[ Source: ]

Пакунок: minisat2 (1:2.2.1-5 and others) [debports]

Links for minisat2

Debian Resources:

Bug Reports

Download Source Package :

Не знайдено

Maintainers:

External Resources:

Homepage [minisat.se]

Similar packages:

Transitional package for minisat

This is a transitional package for minisat, and can be safely removed after the installation is complete.

Пакунки що надають minisat2

minisat: Fast and lightweight SAT solver

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

depends

recommends

suggests

enhances

dep: minisat

Fast and lightweight SAT solver

Завантажити minisat2

Завантаження для всіх доступних архітектур
Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
riscv64 (unofficial port)	1:2.2.1-5+b1	4.4 kB	12.0 kB	[список файлів]