Updated master version with new manual.
Restarting the project.
Properties separated from the model.
Preparing the new Thomas network storage.
Building the separate parameters.
Parsing separated from computing the model.
Parsing now decoupled from computation of data.
Classes for parsing are now static.
Cleaning parametrizations builder.
Constraints now implemented.
Bounded loop seemingly working.
Added tests.
Now includes extremal bounding.
Now outputing the parametrization progress.
Now faster check on contexts.
Corrected the static filter output.
Now parsing multiple models.
Labeler now static.
Removed parametrization holder, seems to work.
Now having model translator.