» Ubuntu » Pakketten » questing (25.10) » virtual » minisat2
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Virtueel pakket: minisat2

Dit is een virtueel pakket. Zie het Debian beleidshandboek voor de definitie van een virtueel pakket.

Pakketten die minisat2 bieden:

minisat
Fast and lightweight SAT solver