How much of Le Floch's implication semilattice of Schröder's 990 quasigroup laws (arXiv:2603.29909) small quasigroups witness. Exhaustive Rust enumeration, exact results to order 9, independent checks, generated report and paper.
rust reproducible-research combinatorics integer-programming automated-reasoning set-cover universal-algebra latin-squares equational-logic mace4 finite-model-theory equational-theories quasigroups
-
Updated
Sep 13, 2026 - Python