PCTL synthesis output to CSV

sybila / eBCSgen

eBCSgen - BioChemical Space Language support tool.

https://ebcsgen.readthedocs.io/

MIT License

2 stars 4 forks source link

Closed xtrojak closed 2 years ago

xtrojak commented 2 years ago

This PR changes PCTL parameter synthesis output from Storm stdout to a more general CSV file.

Close #64.