Ctrl K

Artifact of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

1
contributor

Description

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.

Logo of Artifact of Knor: reactive synthesis using Oink
Keywords
binary decision diagrams
parity games
reactive synthesis
Programming languages
  • Other 67%
  • C 23%
  • HTML 5%
  • C++ 1%
  • CSS 1%
  • JavaScript 1%
  • Markdown 1%
  • R 1%
License
  • GPL-3.0-only
</>Source code
Packages
data.4tu.nl

Contributors

TvD
Tom van Dijk

Member of community

4TU