GROOVE

This repository contains GROOVE rule systems used in various projects, papers and presentations.

Name		Name	Last commit message	Last commit date
Latest commit History 30 Commits
.settings		.settings
append.gps		append.gps
bridge.gps		bridge.gps
crashing-cars.gps		crashing-cars.gps
criticalpair		criticalpair
dot-net-il-simulation.gps		dot-net-il-simulation.gps
ferryman-typed.gps		ferryman-typed.gps
ferryman.gps		ferryman.gps
frogs.gps		frogs.gps
game.gps		game.gps
gossip-nested.gps		gossip-nested.gps
gossip-priorities.gps		gossip-priorities.gps
gossip-recipe.gps		gossip-recipe.gps
hide-lts-sample.gps		hide-lts-sample.gps
leader-election.gps		leader-election.gps
ludo.gps		ludo.gps
pacman.gps		pacman.gps
petrinet-recipe.gps		petrinet-recipe.gps
petrinet.gps		petrinet.gps
phil.gps		phil.gps
sierpinsky-nested.gps		sierpinsky-nested.gps
sierpinsky-priorities.gps		sierpinsky-priorities.gps
solitaire-simple.gps		solitaire-simple.gps
solitaire-typed.gps		solitaire-typed.gps
solitaire.gps		solitaire.gps
tictactoe.gps		tictactoe.gps
.project		.project
README.md		README.md

Provide feedback