Commit 3624eb02 authored by Sylvain Dailler's avatar Sylvain Dailler

drivers: smt-lib -> add min and max

parent b78b9f21
......@@ -118,6 +118,13 @@ theory real.Abs
remove allprops
end
theory real.MinMax
syntax function min "(ite (< %1 %2) %1 %2)"
syntax function max "(ite (< %1 %2) %2 %1)"
remove allprops
end
theory Bool
syntax type bool "Bool"
syntax function True "true"
......
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