Show HN: High-Level Python Interface over Mate Soos's CryptoMiniSatgithub.com/cipherboy4 pointscipherboy7 years ago