19-12-2025: Version 2.0 of FLCHECK

Added the until and since operators from PTL and introduced an expanded library of derived operators.
Left (past) and right (future) can be mixed, this requires a new semantics for FL.
Added inﬁnite intervals.
Updated user interface.

2025-12-19