juliusbrehme
Results
1
comments of
juliusbrehme
## Proposal for integrating trigonometric functions: dReal does support trigonometric functions. Trigonometric functions are not supported in JavaSMT, but this could be implemented in RationalFormula. Other solvers do support them...