Questions for minisat+

Launchpad does not know where minisat+ tracks support requests.

minisat+ questions are tracked in: meritous in Ubuntu.