Binding to CryptoMiniSat