%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

