ratsat (cargo): MiniSat reimplemented in Rust
Keywords: sat