Skip to content
Sections
>> Trisquel >> Paket >> Paketsökresultat

Vissa resultat har inte visats på grund av sökparametrarna.

Du har sökt efter paket vars namn innehåller minisat+ i alla sviter, alla sektioner och arkitektur(er) armhf. Hittade 1 paket.

Exakta träffar

Paketet minisat+

  • aramo (science): solver for pseudo-Boolean constraints
    1.0-4build1: armhf
  • nabia (science): solver for pseudo-Boolean constraints
    1.0-4build1: armhf