Switch to a better graph library
Created by: jacosro
The library currently used for building graphs (graphlib) is deprecated. We should switch to a better and updated library like JGraphT, which would give us the following improvements:
- No bugs, as it's maintained
- Optimized and better designed
- Easier to use and well documented
- Provides graph visualization and interoperability with DOT (related to #8 (closed) and maybe #9)
However, this implies a big refactoring of the whole project, removing completely all graphlib stuff and replacing it for the new library, which is a big time-consuming task. We should consider if it 's worth it.