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

[ Quellcode: minisat2 ]

Paket: minisat2 (1:2.2.1-5 und andere)

Links für minisat2

Debian-Ressourcen:

Quellcode-Paket minisat2 herunterladen:

Betreuer:

Michael Tautschnig (QS-Seite)

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.

Markierungen: Feld: Mathematik, Implementiert in: C++, Rolle: Programm

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
amd64	1:2.2.1-5+b3	5,1 kB	13,0 kB	[Liste der Dateien]