Support better LTL to Buchi solutions
|Status:||Assigned||Start date:||15 Sep 2013|
|Assignee:||Alfons Laarman||% Done:|
LTL3Buchi can be integrated (as in divine)
Spot also contains better algorithms.
LTL2Buchi should still stay available for easy check of state counts between SPIN and LTSmin.
Note also that the integration of LTL2Buchi is rather adhoc and exploits the LTL2Buchi internal data structures. Hopefully DiVinE already demonstrates a cleaner use for LTL3Buchi.