PP-FM/ppsat

This is stars and forks stats for /PP-FM/ppsat repository. As of 02 May, 2024 this repository has 14 stars and 5 forks.

Installation Install dependency Install cmake: sudo apt install cmake Install gtest: sudo apt install libgtest-dev cd /usr/src/gtest sudo cmake CMakeLists.txt sudo make sudo cp ./lib/*.a /usr/lib Install emp: wget https://raw.githubusercontent.com/emp-toolkit/emp-readme/master/scripts/install.py python install.py --deps --tool --ot --sh2pc Compile cmake . make Run Evaluate solver on one step: src/ppsat 1 12345 $nvar $nstep $phi # run this in one terminal src/ppsat 2 12345 $nvar $nstep $phi # run...