Skip to content
This repository


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 19d1b85f07
Fetching contributors…

Cannot retrieve contributors at this time

file 4 lines (3 sloc) 0.201 kb
1 2 3 4
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.
Something went wrong with that request. Please try again.