OKlib::AlgebraicStructures Namespace Reference

Components related to the search for algebraic structures by means of (generalised) SAT. More...

---

Detailed Description

Components related to the search for algebraic structures by means of (generalised) SAT.