Skip to content
Sections
>> Trisquel >> Pakete >> aramo >> virtual >> minisat2
[  etiona  ] [  nabia  ] [  aramo  ]

Virtuelles Paket: minisat2

Dies ist ein virtuelles Paket. Sehen Sie in die Debian-Richtlinien bezüglich einer Definition von virtuellen Paketen.

Pakete, die minisat2 bereitstellen

minisat
Fast and lightweight SAT solver