A simple induction and BMC engine in Rust. - View it on GitHub