🍁 Rust crate for first-order logic with integer arithmetics - View it on GitHub