Package: minisat+

• 1.0-5 (main) [sid]
• 1.0-4 (main) [buster, bookworm]
• 1.0-3 (main) [stretch]
• 1.0-2 (main) [wheezy, jessie, jessie-kfreebsd]