Flora-2 Files

This is a combined XSB/FLORA-2 bundle.

It contains a compiled windows version of XSB and a source version that can
be used to build for Linux/Mac/BSD.

For windows, one just needs to unzip. This will create a folder called
XSBFLORABUNDLE. If you put it at the top of some drive (ie, at
??:\XSBFLORABUNDLE) then you won't need to configure anything. If you place
it some place else, you will have to edit the file
XSBFLORABUNDLE/flora2/runflora.bat
and fix the paths for XSB and FLORA there.

For Linux/Mac/etc., you would need to configure the bundle, but it is very
easy.

cd .../XSBFLORABUNDLE/XSB/build
./configure
./makexsb

cd .../XSBFLORABUNDLE/flora2/

./makeflora all ../XSB/bin/xsb

You can run FLORA-2 by typing

./runflora

in the .../XSBFLORABUNDLE/flora2/ directory.

In Windows, just 

runflora

will do.