Corrected formatting error in code
cmpParameters.csv
Z3 libs
Visual Studio solution and project