OKlibrary  0.2.1.6
general.hpp File Reference

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.



Detailed Description

General plans for the module on searching algebraic structures.

Todo:
Update namespaces.
Todo:
Besides groupoids (see plans/Groupoids.hpp), what other algebraic structures are amenable for (generalised) SAT ? One would think of semirings (but associativity could be a stumbling block here), or structures related to finite geometries.

Also in the context of universal algebra a lot of "combinatorial" structures arise (where a SAT-approach could be succesful --- the more "mathematical" the less likely is a SAT approach to succeed).

Definition in file general.hpp.