TeMP: Temporal Monodic Prover

Temporal Monodic Prover is a monodic temporal prover.

• Paper
• examples
• translator to the normal form
• binary
• binary (debug version)