Veri-C Compilation Install CMake and any c compiler. CMake is available on devel/cmake in BSDs. Then, execute the following: $ cmake -B build $ cd build $ make Usage Parse ./veri-parse < some_file.txt Alpha ./veri-alpha "expression1" "expression2" Check ./veri-check < some_file.txt