Use the minisat to solve the vertex cover problem, and use another two approximation apporaches to test the runtime and ratio.
After giving a undirected graph and two vertexs, the program would output the shortest path between these two vertexs.
This package contains the simulation files for the E10 - Open the door episode for the 1st SciRoc Challenge
OBS Studio - Free and open source software for live streaming and screen recording
Example project for creating new state observers in mc_rtc