Commit d90ca236 authored by Francois Bobot's avatar Francois Bobot

CVC3 don't know modulo operations.

Please don't forget that z3.drv and cvc3.drv are different.
(cf commit 2010-08-23)
parent ded1de94
......@@ -115,7 +115,7 @@ theory bool.Bool
end
*)
(*
theory int.EuclideanDivision
syntax logic div "(div %1 %2)"
syntax logic mod "(mod %1 %2)"
......@@ -124,7 +124,7 @@ theory int.EuclideanDivision
remove prop Mod_1
remove prop Div_1
end
*)
(*
Local Variables:
mode: why
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment