OKlibrary
0.2.1.6

General plans for the module on searching algebraic structures. More...
Go to the source code of this file.
Namespaces  
namespace  OKlib::AlgebraicStructures 
Components related to the search for algebraic structures by means of (generalised) SAT.  
namespace  OKlib 
All components of the OKlibrary. 
General plans for the module on searching algebraic structures.
Also in the context of universal algebra a lot of "combinatorial" structures arise (where a SATapproach could be succesful  the more "mathematical" the less likely is a SAT approach to succeed).
Definition in file general.hpp.