Project

General

Profile

Download (195 Bytes) Statistics
| Branch: | Tag: | Revision:

lustrec/include/math.smt2 @ afbf8da2

1 9f77bff7 Teme 
(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))