some progress
parsed constraint graph and displayed it using JUNG's interactive graph viewer
need to filter it now to get the relevant ones
Merge branch 'master' of github.com:aa755/nbcoq
showing filtered graph. 
(only nodes reachable by the 2 members in the constraint that cannot be enforced)
added the violated constraint to the graph too.
the connected component was made w.r.t the directed graph. this is wrong and will be fixed
(should be done w.r.t undirected)
some code refractoring .. will do stongly connected components
now, it adds the constraint that cannot be enforced and find the SCC containing the 2 endpoints.
~10 nodes remain. used SCC algo from JgraphT
equalities are now shown as undirected edges
added button for visualization of constraints in Top
Click TU(Top Universes) at any time to look at a graph of all constraints involving oly current file.
Will now make that popup window persist. (and avoid Clicking TU at each step)
persistent window works. will now add support for adding helpful names to levels
all changes
adding libraries