CVC3 don't know modulo operations. Please don't forget that z3.drv and cvc3.drv are different. (cf commit 2010-08-23)
CVC3 don't know modulo operations.
Please don't forget that z3.drv and cvc3.drv are different.
(cf commit 2010-08-23)

douglas-larocca/why3,ssaavedra/why3,jpdeplaix/why3,ssaavedra/why3,jpdeplaix/why3,douglas-larocca/why3,jpdeplaix/why3,ssaavedra/why3,douglas-larocca/why3