Pakket: minisat2 (1:2.2.1-3 en anderen)

Verwijzigingen voor minisat2

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

Tags: Field: Wiskunde, Implemented in: C++, Role: Program

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

Pakket downloaden voor alle beschikbare platforms
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]