set(SRCS
  setSet.c
  )

nusmv_add_pkg_lib(${SRCS})

nusmv_add_pkg_headers(set.h)
