[ Quellcode: minisat2 ]
Paket: minisat2 (1:2.2.1-5 und andere)
Links für minisat2
Debian-Ressourcen:
Quellcode-Paket minisat2 herunterladen:
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
|
|
|
|
-
- dep: minisat
- Fast and lightweight SAT solver
minisat2 herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| amd64 | 1:2.2.1-5+b3 | 5,1 kB | 13,0 kB | [Liste der Dateien] |
| arm64 | 1:2.2.1-5+b3 | 5,1 kB | 13,0 kB | [Liste der Dateien] |
| armhf | 1:2.2.1-5+b3 | 5,1 kB | 13,0 kB | [Liste der Dateien] |
| i386 | 1:2.2.1-5+b3 | 5,1 kB | 13,0 kB | [Liste der Dateien] |