The program expects the following format (without the separating
comas): number of variables, size of the domain, the maltsev operation
given by its table (that is, a sequence of 4-tuples a, b, c, value of
the function at (a,b,c)), number of constraints, sequence of
constraints each given by the following data: arity, tuple of
variables of the constraint, number of valid tuples, sequence of valid
tuples. See the examples: op0.dat through op4.dat.