monotonic_solver (cargo): A monotonic solver designed to be easy to use with Rust enum expressions
Keywords: monotonic|theorem|proving|solver|reasoning