Pakiet: minisat2 (1:2.2.1-5 i inne)

[ Pakiet źródłowy: minisat2  ]

Transitional package for minisat

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

Znaczniki: Dziedzina: Matematyka, Zaimplementowane w: C++, Rola: Program

Pakiety udostępniające minisat2

minisat

Fast and lightweight SAT solver

Pobieranie minisat2

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1:2.2.1-5+b3	5,1 KiB	13,0 KiB	[lista plików]
arm64	1:2.2.1-5+b3	5,1 KiB	13,0 KiB	[lista plików]
armel	1:2.2.1-5+b3	5,1 KiB	13,0 KiB	[lista plików]
armhf	1:2.2.1-5+b3	5,1 KiB	13,0 KiB	[lista plików]
i386	1:2.2.1-5+b3	5,1 KiB	13,0 KiB	[lista plików]
mips64el	1:2.2.1-5+b3	5,1 KiB	13,0 KiB	[lista plików]
mipsel	1:2.2.1-5+b3	5,1 KiB	13,0 KiB	[lista plików]
ppc64el	1:2.2.1-5+b3	5,1 KiB	13,0 KiB	[lista plików]
s390x	1:2.2.1-5+b3	5,1 KiB	13,0 KiB	[lista plików]