Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
drivers
cvc4_16.drv
Find file
Blame
History
Permalink
Drivers updated - string theory is not mapped to CVC4 1.6
· bb1e73ec
Cláudio Belo Lourenço
authored
Nov 06, 2019
Most proofs using CVC4 1.6 were failing when adding --smt-exp
bb1e73ec