[ Bron: minisat2 ]
Pakket: minisat2 (1:2.2.1-3 en anderen)
Verwijzigingen voor minisat2
Debian bronnen:
- Probleemrapporten
- Developer Information (PTS)
- Debian Changelog
- Copyright-bestand
- Debian Patch Tracker
Het bronpakket minisat2 downloaden:
Beheerder:
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
|
|
|
-
- dep: libc6 (>= 2.5) [avr32]
- Embedded GNU C Library: Shared libraries
Ook een virtueel pakket geboden door: libc6-udeb
- dep: libc6 (>= 2.5-5) [m68k]
-
- dep: libgcc1 (>= 1:4.2.1) [avr32]
- GCC support bibliotheek
-
- dep: libgcc2 (>= 4.2.1) [m68k]
- GCC support bibliotheek
-
- dep: libstdc++6 (>= 4.1.1) [m68k]
- GNU Standard C++ Library v3
- dep: libstdc++6 (>= 4.2.1) [avr32]
-
- dep: minisat [niet avr32, m68k]
- Fast and lightweight SAT solver
-
- dep: zlib1g (>= 1:1.1.4) [avr32, m68k]
- compressiebibliotheek - programma's
minisat2 downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| alpha (unofficial port) | 1:2.2.1-3 | 4,9 kB | 36,0 kB | [overzicht] |
| amd64 | 1:2.2.1-3 | 4,9 kB | 12,0 kB | [overzicht] |
| armel | 1:2.2.1-3 | 4,9 kB | 36,0 kB | [overzicht] |
| armhf | 1:2.2.1-3 | 4,9 kB | 29,0 kB | [overzicht] |
| avr32 (unofficial port) | 070721-8 | 87,4 kB | 312,0 kB | [overzicht] |
| hppa | 1:2.2.1-1 | 4,8 kB | 36,0 kB | [overzicht] |
| hurd-i386 | 1:2.2.1-3+b1 | 5,0 kB | 29,0 kB | [overzicht] |
| i386 | 1:2.2.1-3 | 4,9 kB | 36,0 kB | [overzicht] |
| ia64 | 1:2.2.1-3 | 4,9 kB | 36,0 kB | [overzicht] |
| kfreebsd-amd64 | 1:2.2.1-3 | 4,9 kB | 18,0 kB | [overzicht] |
| kfreebsd-i386 | 1:2.2.1-3 | 4,9 kB | 18,0 kB | [overzicht] |
| m68k (unofficial port) | 070721-6 | 36,0 kB | 144,0 kB | [overzicht] |
| mips | 1:2.2.1-3 | 4,9 kB | 36,0 kB | [overzicht] |
| mipsel | 1:2.2.1-3 | 4,9 kB | 36,0 kB | [overzicht] |
| powerpc | 1:2.2.1-3 | 4,9 kB | 36,0 kB | [overzicht] |
| powerpcspe (unofficial port) | 1:2.2.1-3 | 4,9 kB | 36,0 kB | [overzicht] |
| s390 | 1:2.2.1-3 | 4,9 kB | 36,0 kB | [overzicht] |
| s390x | 1:2.2.1-3 | 4,9 kB | 29,0 kB | [overzicht] |
| sh4 (unofficial port) | 1:2.2.1-3 | 4,9 kB | 36,0 kB | [overzicht] |
| sparc | 1:2.2.1-3 | 4,9 kB | 36,0 kB | [overzicht] |
| sparc64 (unofficial port) | 1:2.2.1-3 | 4,9 kB | 24,0 kB | [overzicht] |
