# `FLARE`

```{eval-rst}
.. autoclass:: milp_flare.flare.FLARE
   :no-show-inheritance:
   :exclude-members: name
   
.. autoclass:: milp_flare.flare.FormulationInput
   :no-members:

.. autoclass:: milp_flare.flare.FLAREResult
   :no-members:

.. autodata:: milp_flare.flare.STANDARD_AXIOMS
```