.. _section-Reasoner Preferences:

Reasoner Preferences
~~~~~~~~~~~~~~~~~~~~

For users who want to use XSB and Flora-2 installations which are different from what is bundled in the **Sunflower** download, the location of a different XSB and/or Flora-2 can be specified in **Preferences > Sunflower Preferences > Reasoner Preferences**, as shown in :numref:`figure-Sunflower-GUI-customize-reasoner.png`.

If your **Sunflower** system is installed from the **Sunflower** download, the paths to the default XSB and Flora-2 should have been automatically configured.  Therefore you should not need to specify locations for XSB and Flora-2 before using **Sunflower**.

.. _figure-Sunflower-GUI-customize-reasoner.png:

.. figure:: ../../figs/Sunflower-GUI-customize-reasoner.png
   :alt: Customizing settings for **XSB** and **Flora-2** locations

   Customizing settings for **XSB** and **Flora-2** locations