Library for compiling thermodynamical Kappa into Kappa.
Well, at least that's the goal. For now, what I have is a small program to compute minimal glueings.
ghc --make -O MinimalGlueings
The input file must contain two Kappa expressions separated by a semicolon.
The program will generate one DOT file with all minimal glueings in textual representation plus one DOT file for each minimal glueing detailing agent mappings in a graphical way.