1
CrocoPat is a tool for relational calculation, available at
../../CrocoPat
.
2
Example files are available at
../ccvisu/examples
.