Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > Research > Projects > D-FLAT Project > Software > D-FLAT Debugger

Tools: Print


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:

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.

D-FLAT Debugger: Screenshot

Additional information and documentation is available at the D-FLAT project homepage and contained in the DBAI Technical Report dbai-tr-2014-86.pdf.

Top

Usage

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
Top

Download

Here we provide releases of the D-FLAT Debugger. D-FLAT itself can be downloaded separately at the D-FLAT System page.

Latest version:

Previous releases:

Top
Last updated: 2014-04-24 14:22

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung