3 ms·Show HN: High-Level Python Interface over Mate Soos's CryptoMiniSat4 points by cipherboy 7y agocipherboy 7y ago\o Happy to answer questions anyone has. I mostly wrote this to scratch my own itch.