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

[ Bron: ]

Pakket: minisat2 (1:2.2.1-5 en anderen) [debports]

Verwijzigingen voor minisat2

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

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.

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
riscv64 (unofficial port)	1:2.2.1-5+b1	4,4 kB	12,0 kB	[overzicht]