Representing Hybrid Transition Systems in C+

Cplus2ASPMT is a system that helps representing Hybrid Transition Systems in the action language C+. We make use of dReal, a non-linear theory based SMT solver as well as ASPMT2SMT that helps turn ASPMT programs to SMT. The system provides an extension of C+ by adding constructs for ODE support, then translating to an equivalent ASPMT program and finally translating to the input language of dReal in SMT2.