APTE/APTE — pull request #2 by VincentCheval (2013-12-10 16:01:12+00:00)
Title: Multi strategy

This new feature introduce a new file for creating statistic on the matrices generated by the algorithm. It is also more flexible on the strategy used during the algorithm:
Either it completely unfold the symbolic traces to solve them afterwards or it uses the alternating strategy between constraint system and process transition.