[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Zdroj: minisat2 ]

Balík: minisat2 (1:2.2.1-5 a iné)

Odkazy pre minisat2

Zdroje Debian:

Stiahnuť zdrojový balík minisat2:

Správca:

Michael Tautschnig (Stránka QA)

Externé zdroje:

Domovská stránka [minisat.se]

Podobné balíky:

Transitional package for minisat

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

Značky: Pole: Matematika, Implementované v: C++, Role: Program

Balíky poskytujúce minisat2

minisat: rýchly a nenáročný riešiteľ SAT

Ostatné balíky súvisiace s balíkom minisat2

závisí

odporúča

navrhuje

vylepšuje

dep: minisat

rýchly a nenáročný riešiteľ SAT

Stiahnuť minisat2

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
ppc64el	1:2.2.1-5+b3	5.1 kB	13.0 kB	[zoznam súborov]