Fix bug and add support for computing transitive closure of must edge graph
-rw-r--r-- 139 .gitignore
drwxr-xr-x - design
drwxr-xr-x - papers
drwxr-xr-x - src