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.
- Save your DLV input files (with the .dl extension) in the same directory as the dlvisual.py file
- Start DLV!sual:
- Configure DLV's options (maximum integer, etc..) in the text entry
- Select a combination of files in the left pane (file list)
- 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)
- Double-clicking on a file in the file list launches a text editor ("gvim" by default - you can change it in the source)
- 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.
- Multiple answer sets are separated by a horizontal line
- You can use a regular expression to filter the results list
- Python (>= 2.5)
- PyGTK (tested with PyGTK 2.16)
- DLV (tested with
build BEN/Oct 11 2007)
- 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
- dlvisual.py (Updated: 2009-11-08)
DLV!sual (not DLV!) is licensed under the terms of the GPLv3 or later.
Patches gladly accepted.
-licensecommand-line switch of DLV for more information.
Last time I checked, DLV was free for academic and non-commercial educational use, as well as for use by non-profit organisations, but please check the DLV website and its license for up-to-date licensing information before using DLV or DLV!sual.