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.


  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




Known bugs / limitations



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

Patches gladly accepted.

Please note: You have to accept the DLV license in order to be able to use this application. Please consult the DLV website (www.dlvsystem.com) and the -license command-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.
Thomas Perl · 2010-10-14