TeMP: Temporal Monodic Prover

Temporal Monodic Prover is a monodic temporal prover.