Finding minimal \(f\in \mathrm{cMaj}_5^{\{0,1\}}\) (py, c++)

This dataset contains code to computationally determine all cyclically symmetric majority functions on the set \(A = \{0,1,2,3,4\}\)  that only have values in \(\{0,1\}\) on those triples with three pairwise distinct entries and generate a minimal clone on \(A\). Results computed by running the code also form a central part of the dataset.

More detailed information is available in the file minimal_clones_with_cyclic_01_majority_witnesses.pdf (source code for this file is given in minimal_clones_with_cyclic_01_majority_witnesses.tex).