Project

General

Profile

Revision 4d841db7 include/lustrec_math.smt2

View differences:

include/lustrec_math.smt2
23 23
(declare-rel exp ( Real Real) )
24 24
(declare-rel log ( Real Real) )
25 25
(declare-rel log10 ( Real Real) )
26
(declare-rel tanh ( Real Real) )

Also available in: Unified diff