.. _api-RCF-redlog:

*Real Closed Fields*

**********************
Redlog Interface
**********************

.. automodule:: logic1.theories.RCF.redlog
    :members: gqe, qe, qea, simplify