add_library(command 
  assume.cpp
  command.cpp
  declare_state_type.cpp
  define_states.cpp
  define_transition.cpp
  define_transition_system.cpp
  query.cpp
  sequence.cpp
  interpolate.cpp
  generalize.cpp
  checksat.cpp
)

