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

[ Quellcode: ]

Paket: minisat2 (1:2.2.1-5 und andere) [debports]

Links für minisat2

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Externe Ressourcen:

Homepage [minisat.se]

Ähnliche Pakete:

Transitional package for minisat

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

Pakete, die minisat2 bereitstellen

minisat: Fast and lightweight SAT solver

Andere Pakete mit Bezug zu minisat2

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: minisat

Fast and lightweight SAT solver

minisat2 herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
riscv64 (inoffizielle Portierung)	1:2.2.1-5+b1	4,4 kB	12,0 kB	[Liste der Dateien]