Show HN: High-Level Python Interface over Mate Soos's CryptoMiniSat

\o Happy to answer questions anyone has. I mostly wrote this to scratch my own itch.