Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / include / lustrec_math.smt2 @ 4d841db7

History | View | Annotate | Download (869 Bytes)

1
(declare-rel acos ( Real Real) )
2
(declare-rel acosh ( Real Real) )
3
(declare-rel asin ( Real Real) )
4
(declare-rel asinh ( Real Real) )
5
(declare-rel atan ( Real Real) )
6
(declare-rel atan2(Real Real Real) )
7
(declare-rel atanh ( Real Real) )
8
(declare-rel cbrt ( Real Real) )
9
(declare-rel cos ( Real Real) )
10
(declare-rel cosh ( Real Real) )
11
(declare-rel ceil ( Real Real) )
12
(declare-rel erf ( Real Real) )
13
(declare-rel fabs ( Real Real) )
14
(declare-rel floor ( Real Real) )
15
(declare-rel fmod (Real Real Real) )
16
(declare-rel tan ( Real Real) )
17
(declare-rel pow (Real Real Real) )
18
(declare-rel round ( Real Real) )
19
(declare-rel sin ( Real Real) )
20
(declare-rel sinh ( Real Real) )
21
(declare-rel sqrt ( Real Real) )
22
(declare-rel trunc ( Real Real) )
23
(declare-rel exp ( Real Real) )
24
(declare-rel log ( Real Real) )
25
(declare-rel log10 ( Real Real) )
26
(declare-rel tanh ( Real Real) )