Sanal Paket: minisat2

Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.

minisat2 sağlayan paketler

minisat

Fast and lightweight SAT solver