qtlsolver

A solver for checking satisfiability of Quantitative / Metric Interval Temporal Logic (MITL/QTL) over Reals.