https://sourceforge.net/projects/rankwidth/
