Added option handling basics
Some more option handling stuff
Instance (hypergraph) is now parsed
Separating SHARP from D-FLAT. Now SHARP is used (without any special extensions) as an external library merely for decomposition
Changed extension header file generated by bison from .h to .hpp because FindBISON.cmake expects it to be that way. This avoids recompilation of the parser every time.
Removed obsolete comment
Now requiring C++11. And some changes to the Decomposition class.
Removed files from older D-FLAT version. The functionality will be reconstructed over time.
Fixed bug that in using the return value of parser::Driver::parse() that led to segfaults
Integrated SHARP as a tree decomposer and implemented printing of decompositions.
Used C++11's ranged-based for loops where applicable
Adapted code to work with the (forecoming) SHARP 1.1 release
Fixed bug that subclasses of Module did not call Module::select() in select()
Tree decomposer now allows to select elimination ordering for bucket elimination
Directory build/*/parser no longer needed.
Added override keyword
Node -> DecompositionNode
Normalizations of TDs performed
Removed Boost dependency (for now)
Basics for the ItemTree