2009 / DLV!sual - a GTK+ GUI for DLV

DLV!sual

DLV!sual is a small GUI frontend for DLV (www.dlvsystem.com). It allows you to comfortably view the DLV output (answer sets) in a GUI window. The output will be refreshed automatically when one of the selected files changes, so it's easy to experiment with DLV by editing the input files in an editor and seeing the output in the DLV!sual window.

Usage

1. Save your DLV input files (with the .dl extension) in the same directory as the dlvisual.py file
2. Start DLV!sual: python dlvisual.py
3. Configure DLV's options (maximum integer, etc..) in the text entry
4. Select a combination of files in the left pane (file list)
5. Whenever the file selection changes, DLV is invoked with the options and all selected files as arguments (you can verify the command line by looking at the bottom of DLV!sual's window)
6. Double-clicking on a file in the file list launches a text editor ("gvim" by default - you can change it in the source)
7. All "active" files (the ones with the check mark) are monitored for changes by DLV!sual. If you change a file in an editor and save it, DLV!sual will automatically re-run DLV with the changed file and update its display.
8. Multiple answer sets are separated by a horizontal line
9. You can use a regular expression to filter the results list

Screenshots

Silly example with multiple answer sets

Live filtering (regular expressions are also supported)

Dependencies

• Python (>= 2.5)
• PyGTK (tested with PyGTK 2.16)
• DLV (tested with build BEN/Oct 11 2007)

ChangeLog

• 2009-11-08: Initial release

Known bugs / limitations

• The file list is not updated when files are created/deleted
• DLV frontends (diagnosis, etc..) are not yet supported

Download

• dlvisual.py (Updated: 2009-11-08)

License

DLV!sual (not DLV!) is licensed under the terms of the GPLv3 or later.

Patches gladly accepted.