Commit d5cb62ab authored by Sylvain Dailler's avatar Sylvain Dailler

drivers: smt-lib, add from_int function

parent 3624eb02
......@@ -125,6 +125,12 @@ theory real.MinMax
remove allprops
end
theory real.FromInt
syntax function from_int "(to_real %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