This package computes coclones from a given algebra known to have a majority term. To do so, you first need to generate the algebra and save it as a .model file. An example is provided in ...