# The graph-rewriting-trs package

Given a set of term rewriting rules (see examples) and a term with this tool you can interactively evaluate the corresponding term graph by applying the rules, which are translated into their graph rewriting equivalents.

- No changelog available

## Properties

Versions | 0.1, 0.1.1, 0.1.2, 0.1.3, 0.1.4 |
---|---|

Dependencies | base (>=4 && <4.4), base-unicode-symbols (==0.2.*), containers (==0.4.*), directory (==1.0.*), filepath (==1.1.*), GLUT (==2.2.*), graph-rewriting (>=0.5.2 && <0.6), graph-rewriting-gl (==0.6.*), graph-rewriting-layout (>=0.4.1 && <0.5), OpenGL (==2.4.*), uu-parsinglib (==2.5.*) |

License | BSD3 |

Copyright | (c) 2011, Jan Rochel |

Author | Jan Rochel |

Maintainer | jan@rochel.info |

Stability | alpha |

Category | Graphs, Application |

Home page | http://rochel.info/#graph-rewriting |

Executables | trs |

Upload date | Mon Feb 7 19:10:18 UTC 2011 |

Uploaded by | JanRochel |

Downloads | 223 total (20 in last 30 days) |

## Downloads

- graph-rewriting-trs-0.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)

#### Maintainers' corner

For package maintainers and hackage trustees