A library for working with GR1 problems in the slugsin format
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src/Language
.gitignore
LICENSE
README.md
Setup.hs
language-slugs.cabal

README.md

language-slugs

An interface to the slugs GR(1) synthesis tool.

Current Features

  • Generates problems in the slugsin format
  • Can perform simple optimizations on the slugsin problem, as well as common-subexpression elimination

Planned Features

  • Import the FSM generated by slugs when run in the --explicitStrategy mode