TOPM test of polyhedral model how to build git clone https://github.com/ds1231h/TOPM.git cd TOPM/ git submodule update --init --recursive mkdir build && cd build cmake .. make -j8