%DEPENDS%
boost-libs
cryptominisat5
minisat

