project (storm)
add_library(storm SHARED storm.cpp storm.def)
set_target_properties(storm PROPERTIES SUFFIX ".dtr")
