Skip to content

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

License

Notifications You must be signed in to change notification settings

gaste/dwasp-gui

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

74 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

DWASP GUI

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

Latest Version

Table of contents

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

About

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

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published