cff-version: 1.2.0
abstract: "<p>This is the artifact belonging to the paper <strong>Knor: reactive synthesis using Oink</strong>.</p><p><br></p><p>The artifact requires the Virtual Machine of TACAS23 obtainable via https://zenodo.org/doi/10.5281/zenodo.7113222</p><p><br></p><p>For information on using the artifact, consult the README files.</p>"
authors:
  - family-names: van Dijk
    given-names: Tom
    orcid: "https://orcid.org/0000-0002-5366-1051"
title: "Artifact of Knor: reactive synthesis using Oink"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7.v1
license: GPL-3.0
date-released: 2023-11-09