» Ubuntu » Packages » resolute » virtual » minisat2

[ jammy ] [ noble ] [ plucky ] [ questing ] [ resolute ]

Virtual Package: minisat2

This is a virtual package. See the Debian policy for a definition of virtual packages.

Packages providing minisat2

minisat: Fast and lightweight SAT solver