io.github.tudo-aqua cvc4-turnkey-permissive 1.8 1.8 1.7 1.8 20201022170106