OKlibrary  0.2.1.6
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.