I installed the dependencies with "sudo apt install libz3-dev libgoogle-perftools-dev" and created the directory and file structure with "make files && ./files"

I was unable to compile enumerator.cpp due to a compilation error (a redefined structure).

"make enumerator2" worked, but I have the impression that the project isn't finished and that it isn't possible to optimize a 6502 program. Moreover, the optimize.cpp file is almost empty and won't compile.