🍁 Rust crate for first-order logic with integer arithmetics
Primary LanguageRustMIT LicenseMIT
No one’s star this repository yet.