# [TITLE]: Z3
# [DESCRIPTION]:
# [STATUS]:
# [CAPABILITIES]:
# [TAGS]:
# [MAINTAINER]: pundle
include(Z3-bin)
include(Z3-lib)
include(Z3-license)
Z3
