4TU.ResearchData is an international data repository for science, engineering and design. We offer research dataset curation, sharing, long-term access and preservation services to anyone, anywhere. You can find our archive at https://data.4tu.nl/ 

This is the artifact belonging to the paper Knor: reactive synthesis using Oink.




The artifact requires the Virtual Machine of TACAS23 obtainable via https://zenodo.org/doi/10.5281/zenodo.7113222




For information on using the artifact, consult the README files.



Artifact of Knor: reactive synthesis using Oink

Description

Contributors

Member of community