Sylvan experiments

This repository hosts the experimental section in the paper on Sylvan submitted to STTT.

You can contact the main author of Sylvan at t.vandijk@utwente.nl.

Sylvan source code: https://github.com/utwente-fmt/sylvan
LTSmin source code: https://github.com/utwente-fmt/ltsmin

Information on the experiments are found in the submitted paper.

Use exp.py with either parameter run or report to run the experiments or to generate a report of the results.