Виртуальный пакет: minisat2

Это виртуальный пакет. О том, что такое виртуальные пакеты читайте в политике Debian.

Пакеты, предоставляющие minisat2

minisat

Fast and lightweight SAT solver