C代码有界模型验证工具BRICK

运行方法

cd to the BRICK directory
unzip lib.zip
rm lib.zip
mkdir build
cd build
cmake ..
make

then run BRICK with ./bin/brick