Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
drivers
cvc4.drv
Find file
Blame
History
Permalink
Removed the experimental use of built-in division of CVC4 and veriT,
· 293b3b5a
MARCHE Claude
authored
May 21, 2015
since results are better with the Why3 axiomatic version
293b3b5a