Redlog Documentation Center

This new documentation in under construction. For functions not covered yet, please use the old documentation.

documentationreals

Reference Manual — Real Numbers

Constructing Formulas

Quantifier Elimination

Decision

Simplification

Normal Forms

Optimization

Miscellaneous

Interfaces to External Software