HTTPS clone URL
Subversion checkout URL
Domain-specific supercompilation for transition systems (based on the MRSC toolkit).
Fetching latest commit...
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
This is a collection of projects for dealing with transition systems. They use services provided by the MRSC toolkit. The intention is to implement supercompilation for configurations with variables.