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

[ Bron: minisat2 ]

Pakket: minisat2 (1:2.2.1-5 en anderen)

Verwijzigingen voor minisat2

Debian bronnen:

Het bronpakket minisat2 downloaden:

Beheerder:

Michael Tautschnig (QA-pagina)

Externe bronnen:

Homepage [minisat.se]

Vergelijkbare pakketten:

Transitional package for minisat

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

Tags: Field: Wiskunde, Implemented in: C++, Role: Program

Pakketten die minisat2 bieden:

minisat: Fast and lightweight SAT solver

Andere aan minisat2 gerelateerde pakketten

depends

recommends

suggests

enhances

dep: minisat

Fast and lightweight SAT solver

minisat2 downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	1:2.2.1-5+b3	5,1 kB	13,0 kB	[overzicht]
arm64	1:2.2.1-5+b3	5,1 kB	13,0 kB	[overzicht]
armhf	1:2.2.1-5+b3	5,1 kB	13,0 kB	[overzicht]
i386	1:2.2.1-5+b3	5,1 kB	13,0 kB	[overzicht]