Explore projects

Use the minisat to solve the vertex cover problem, and use another two approximation apporaches to test the runtime and ratio.

An application to help the blind navigate our world.