ratsat-bin (cargo): MiniSat reimplemented in Rust
Keywords: dimacs|sat