Artifact of Knor: reactive synthesis using Oink

doi: 10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7.v1
The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
doi: 10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7
Datacite citation style:
van Dijk, Tom (2023): Artifact of Knor: reactive synthesis using Oink. Version 1. 4TU.ResearchData. software.
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite

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

The artifact requires the Virtual Machine of TACAS23 obtainable via

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

  • 2023-11-09 first online, published, posted
  • PIGGY: Reasoning using tangles on parity games (grant code 893732) [more info...] European Union Horizon 2020 MSCA Individual Fellowship
University of Twente, Formal Methods and Tool group


To access the source code, use the following command:

git clone