gaste / dwasp-gui

A graphical user interface for debugging faulty ASP programs with gringo-wrapper and DWASP.

A graphical user interface for debugging faulty ASP programs with gringo-wrapper and DWASP.

Table of contents

• Building

Building

This project is managed using Apache Maven. If all dependencies are present, use mvn compile to build the project and mvn package to create a .zip and .tar.gz file containing the Java archive as well as start scripts for Windows and Unix in the target/ directory.

Dependencies

This project depends on gringo-wrapper. Thus to build it, you need to have the gringo-wrapper binaries installed in your local maven repository:

git clone https://github.com/gaste/gringo-wrapper
cd gringo-wrapper
mvn install

dwasp-gui's Issues

strange Warning durning init

File - open project, results in the following warning:

WARNING: Could not open/create prefs root node Software\JavaSoft\Prefs at root 0
x80000002. Windows RegCreateKeyEx(...) returned error code 5.

run on windows 8.1, java 8 update 60

highlighting in the editor

Open a project - the highlighting works
Open the same project one more time - the highlighting does not work