cryptominisat (cargo): Rust bindings for CryptoMiniSat, a boolean satisfiability solver
Keywords: sat