Create progression library

[Bart Bogaerts]

with some useful functionalities: several variants of the simulation inference:

• interactive

• random

• only print several predicates

• only print certain vocabulary

• print according to a specific procedure

• print diff (nusmv-like) vs print models

[Bart Bogaerts]

Inspiration: see pacman+turing

[Bart Bogaerts]

Implemented general simulation methods

Interactive and random simulation

• one inference giving great flexibility to the user --> He can choose which method he uses to print states, to stop the simulation, ...."

This fixes #592

→ <<cset 31241baeeba9>>

[Bart Bogaerts]

Implemented general simulation methods

Interactive and random simulation

• one inference giving great flexibility to the user --> He can choose which method he uses to print states, to stop the simulation, ...."

This fixes #592

→ <<cset b397b28222f3>>

[Bart Bogaerts]

Implemented general simulation methods

Interactive and random simulation

• one inference giving great flexibility to the user --> He can choose which method he uses to print states, to stop the simulation, ...."

This fixes #592

→ <<cset 6c4ebee6a93e>>

[Bart Bogaerts]

Implemented general simulation methods

Interactive and random simulation

• one inference giving great flexibility to the user --> He can choose which method he uses to print states, to stop the simulation, ...."

This fixes #592

→ <<cset 8571f859d69e>>