OKlibrary  0.2.1.6
general.hpp File Reference

On investigations regarding groupoids and specialisations (semigroups, quasigroups etc.) More...

Go to the source code of this file.


Detailed Description

On investigations regarding groupoids and specialisations (semigroups, quasigroups etc.)

Counting and classifying groups is very likely far remote from (current, generalised) SAT, due to the very special methods involved (according to the standard reached). However groupoids in their "randomness" are far closer in spirit; finding special groupoids is definitely appropriate for generalised SAT, and then counting and classifying such structures is just the task of solving the conditions for all solutions (possibly up to isomorphisms).

For current plans see

Todo:
Counting groupoids
Todo:
Classifying groupoids
Todo:
Counting semigroups
Todo:
Classifying semigroups
Todo:
Counting quasigroups and latin squares
Todo:
Classifying quasigroups and latin squares

Definition in file general.hpp.