- proper python interface
- simpler build system
- more solvers as classes
- make clean (e.g. grtd)
- use "using" instead of typedef for types that should not be exported
- get rid of unnecessary public inheritance in a few places.
- directed_view in FI
- PP simplicial issue (is it a bug?)
- PP->FI bridge?
- more tests

- provide meta heuristic for treewidth, PP+generic_search
  - initialem FI+TM als ub
  - initialem LBP(C)_deltaC
  - deltaC_least_c als lb
  - TM als refiner
- underlying backend gala sorted
- overlay muss noch ausprobiert werden
- (squashen vom overlay)

-use range(.) instead of list of vertices [0..]
-tlx dependency needs to be fixed
-td-validate dependency needs to be fixed
