jandom-devel/Jandom — pull request #2 by amato-gianluca (2014-10-02 07:51:01+00:00)
Title: Alice

The alice branch supports the FAST (.fst) format for LTS transition system. The LTS support is overhauled.