Paquet virtuel : minisat2
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.
Paquets fournissant minisat2
- minisat
- Fast and lightweight SAT solver
Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.