set(arithmetic).
assign(max_models,-1).
assign(domain_size,2).
formulas(assumptions).
 m1 <-> m2 & m3 & m4 & m5 & m6.
 m2 <-> -m3 & -m4 & -m5 & -m6.
 m3 <-> m1 & m2.
 m4 <-> (m1 & -m2 & -m3) | (-m1 & m2 & -m3) | (-m1 & -m2 & m3).
 m5 <-> -m1 & -m2 & -m3 & -m4.
 m6 <-> -m1 & -m2 & -m3 & -m4 & -m5.
end_of_list.
