DLV^K GUI

SourceForge
      Logo

Project page at SourceForge

CVS repository

The goal of this project is to provide a graphical user interface (GUI) to the planning system DLV^K. We currently have a prototype written in Tcl/Tk, the next step will be creating a syntax-guided editor for K, the action language accepted by DLV^K.


Wolfgang Faber
Last modified: Sat Mar 16 14:53:30 CET 2002