Solve option and LTL

Apr 15, 2014 at 2:47 PM
Hello everybody,

Does anybody know whether Formula 2.0 already supports the solve option and if it is also prepared for supporting Linear Temporal Logic formulas?

Thank yo very much in advance,
Bea