LTLMoP/LTLMoP — pull request #62 by wongkaiweng (2014-04-07 23:33:43+00:00)
Title: Adding fastslow into development

I have added fastslow and tested it with SLUGS. This version now works for automaton with either normal or instantaneous action. There may be white spaces in some of the .pys but first I want to make sure if I should make any changes.

Let me know if I should add my fastslow examples in.