Näennäispaketti: minisat2

Tämä on näennäispaketti. Katso Debianin linjan kuvaksesta näennäispaketin määritelmä.

Paketit, jotka toteuttavat paketin minisat2

minisat

Fast and lightweight SAT solver