MiniSat doesn't have pkg-config so no need to check for it
MiniSat doesn't have pkg-config so no need to check for it

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp