FPROGG

The Formula PROGression Generator for MLTL RV Benchmarks

To build, cd into the src directory and run make run

See the README.md file in the src directory for more information on running the tool once built.