%DEPENDS%
boost-libs
cryptominisat
minisat

