minisat+

unstable
amd64 1.0-4 Pass