cmake minisat examples

stp/stp CMakeLists.txt :569 

find_package(minisat)