RatSat

This is a Rust reimplementation of MiniSat.