src/CTT/Main.thy

make sure the SMT solver runs several iterations by lowering the timeout at each iteration -- yields better results in practice

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end