Fast finite-counterexample search for implications between equational laws over magmas
rust backtracking magma model-finding automated-reasoning universal-algebra model-finder equational-theories counterexample-search
-
Updated
Sep 17, 2026 - Rust