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