search

Verites / verigraph

Software specification and verification system based on graph rewriting
https://verites.github.io/verigraph/
Apache License 2.0
37 stars 4 forks source link

Calculate critical pairs with symbolic graphs #16

Open ggazzi opened 7 years ago

ggazzi commented 7 years ago

Have a command line program that calculates critical pairs and writes them to a CPX file.