-
MARCHE Claude authored
issue: cvc4 1.6 complains as follows: "Too many datatypes defined in this block. (declare-datatypes () ((tuple0 (Tuple0)))) ^ "
d595e9cb
issue: cvc4 1.6 complains as follows: "Too many datatypes defined in this block. (declare-datatypes () ((tuple0 (Tuple0)))) ^ "