support for cvc4 version 1.6
please update the support for cvc4 to version 1.6:
$ why3 config --detect-provers [...] warning: Prover CVC4 version 1.6 is not known to be supported.
And when trying nevertheless to prove the attached file minimum.mlw I get an error message:
$ why3 prove -P 'CVC4' minimum.mlw minimum.mlw Minimum VC minimum: HighFailure (0.00s) Prover exit status: exited with status 1 Prover output: (error "Parse Error: /tmp/why_e2c49a_minimum-T-VC_minimum.smt2:8.24: Too many datatypes defined in this block.
(declare-datatypes () ((tuple0 (Tuple0)))) ^ ")