Virtuálny balík: minisat2

Toto je virtuálny balík. Pozrite si politiku Debianu, kde nájdete definíciu virtuálnych balíkov.

Balíky poskytujúce minisat2

minisat

Fast and lightweight SAT solver