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 Fig. 281.

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.

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

Fig. 281 Customizing settings for XSB and Flora-2 locations