First time here? Check out the FAQ!
2 0 How to interpret the result of treewidth() function. ( 2015-02-24 17:18:40 +0200 )