všetky možnosti
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Zdroj: minisat2  ]

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

Odkazy pre minisat2

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík minisat2:

Správca:

Externé zdroje:

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

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 kB13.0 kB [zoznam súborov]