packagesВиртуален пакет: minisat2
Това е виртуален пакет. Вижте Политиката на Дебиан за дефиницията на виртуален пакет.
Пакети, предлагащи minisat2
- minisat
- Fast and lightweight SAT solver
Това е виртуален пакет. Вижте Политиката на Дебиан за дефиницията на виртуален пакет.