finished a first implementation for computing cardinality and distance. Still to be checked
performed some checking on function Generation.compute_new_nodes
foo commit
changed a couple of scripts in ./demo directory
fixed vertex duplicates ID
added MySQL master slave replication use case to test heuristics
just changed function to_string() in plan.ml
added MySQL use case with duplication
small change in README
Update README.md
updated the acronym
added test for MySQL replication (simple version)
added back a few files lost around!
added file _tags needed by ocamlbuild
uniform Batteries_uni in plan.ml and plan.mli
fixed order of actions in plan (now unbind goes after stateChange)
added module Color
moved source files into single src dir + added validation dir
moved a few files around
minor changes