lustrec/include/math.smt2 @ d6976d31
1 |
(declare-rel cbrt (Real Real)) |
---|---|
2 |
(declare-rel ceil (Real Real)) |
3 |
(declare-rel erf (Real Real)) |
4 |
(declare-rel fabs (Real Real)) |
5 |
(declare-rel pow (Real Real Real)) |
6 |
(declare-rel sqrt (Real Real)) |