Download Flora-2

Although Flora-2 relies on the XSB inference engine to run, a suitable version of XSB is bundled with each release of Flora-2 and there is no need to download XSB separately. If you are a developer and need the very latest features and bug fixes in both Flora-2 and XSB, you might need to download both from their respective SVN repositories.

Note: Use the SVN repository. The old CVS repositories of XSB and Flora-2 have been deprecated.

Downloading the latest official release of Flora-2 (most users)

Please follow these steps:

Downloading the current development version from SVN (bleeding edge users)

This version contains the latest features, but might not always be stable. However, this allows you to track the development of Flora-2 and contribute! You can install the released version and the SVN version on the same system and switch between them at will (but not within the same session). The development version of Flora-2 often requires that you install the latest development version of XSB directly from XSB's SVN repository. Under Windows, configuring the SVN version of XSB requires Microsoft's Visual Studio.

Check out the latest version of Flora-2 from the SVN repository into a separate directory and follow the installation instructions. If you have no write privileges, you can still download a read-only copy by clicking on the RO button on that page and copying the appropriate SVN command that appears in a window on the right. Please report to us any problems (and fixes!).

Note: the development version downloaded from SVN is not tested under Windows on a regular basis and has a higher probability of being unstable.