/usr/bin/c++  -std=c++11 -O3 -Wall -Wextra -Wshadow -g -Wfatal-errors -Wno-sign-compare -Wno-literal-suffix  -static CMakeFiles/minisat_simp.dir/minisat/simp/Main.cc.o  -o minisat  libminisat.a /usr/lib/x86_64-linux-gnu/libz.a 
