LTLMoP/LTLMoP — pull request #77 by wongkaiweng (2014-12-12 16:06:14+00:00)
Title: Added Symbolic Strategy Functionality with SLUGS (UPDATED)

The merged request was not correct. Here is the updated one.