Installation:

1. Please install all the libraries required by Flow*.

2. Compile Flow* in the folder flowstar-2.0.0.

3. Compile the benchmarks by make.


