D-FLAT Debugger
A tool for debugging dynamic programming algorithms on tree decompositions, specified for the D-FLAT framework. The Debugger is developed within the project "Extending the Answer-Set Programming Paradigm to Decomposed Problem Solving".
Contents
About
The D-FLAT Debugger is a tool for visualization and inspection of algorithms specified in D-FLAT. In particular, it features:
- Visualization of the tree decomposition and itermediate results (item trees), interactive inspection of extension pointers, and representation of solution candidates.
- Search for solution candidates and (auxiliary) items, including search by specifying regular expressions.
- Debugging on basis of node types assigned to nodes in the item trees. With this, pruned item paths can be inspected, thereby easing to locate the point during the traversal of the decomposition where a solution candidate was discarded.
The following screenshot illustrates (parts of) the representation of the decomosition
(e.g., the bag of decomposition node n2 contains {a,b,c3}),
the item tree associated with this node, currently selected item tree nodes
and, at the bottom, the solution candidates represented by the selected nodes.
Additional information and documentation is available at the D-FLAT project homepage and contained in the DBAI Technical Report dbai-tr-2014-86.pdf.
TopUsage
In order to run the debugger, D-FLAT has to provide machine-readable debugging information.
This is achieved by calling D-FLAT with the parameter --output machine.
A typical debugger call is of the following format:
./dflat --output machine -p problem.lp < instance.lp | python DflatDebugger.py
In order to reuse the output of D-FLAT for several debugging sessions, one may dump the output to a file:
./dflat --output machine -p problem.lp < instance.lp > dump.dbg python DflatDebugger.py < dump.dbg
Download
Here we provide releases of the D-FLAT Debugger. D-FLAT itself can be downloaded separately at the D-FLAT System page.