[ Quellcode: picosat ]
Paket: picosat (965-3) [universe]
Links für picosat
Ubuntu-Ressourcen:
Quellcode-Paket picosat herunterladen:
Betreuer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Team (E-Mail-Archiv)
- Michael Tautschnig
It should generally not be necessary for users to contact the original maintainer.
Externe Ressourcen:
- Homepage [fmv.jku.at]
Ähnliche Pakete:
SAT solver with proof and core support
Andere Pakete mit Bezug zu picosat
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C Library: Shared libraries
picosat herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 118,0 kB | 872,0 kB | [Liste der Dateien] |
| arm64 | 111,4 kB | 1.048,0 kB | [Liste der Dateien] |
| armhf | 89,4 kB | 769,0 kB | [Liste der Dateien] |
| ppc64el | 150,1 kB | 1.318,0 kB | [Liste der Dateien] |
| riscv64 | 212,4 kB | 2.900,0 kB | [Liste der Dateien] |
| s390x | 121,5 kB | 884,0 kB | [Liste der Dateien] |