This program is built on top of Alloy and JUNG. It allows to explore a semantic domain partially formalized in an Alloy file (./alloy-models/MDC.als).
It is a quick and dirty implementation of a prototype. There is no quality claim on the code. It could even be stated that it is an example of what NOT to do.
Compile with: ./bin/compile.sh
Run with: ./bin/run.sh