Remove letters from dependencies.
Add earlier incompatibility detection for performances.
Allow edges without guard and without event.
Use TB for displaying glts in dot.
Add nary union of glts.
Use edge of cudd-rb
Ensure cache is removed on glts#c0= and glts#separate!
Revisit simplify and explicit guards.
Ensure deferencing of BDDs on minimize.
Improve efficiency of Merge.
Add support for computation of graph intervals on g-LTSs
Code style.
Fix determinization in complex recursion case.
Add Glts#to_graph and Glts#to_yargi
Add some g-hMSC metrics
Allow c0 to be explicitely set on glts
Missing tests
Add support for prefered guard labels in to_graph
Add projection operator.
Add some letters-inspired debug utility.