https://github.com/grote/online-asp

prototype online version of incremental answer set programming (iclingo)
https://github.com/grote/online-asp

Last synced: about 1 month ago
JSON representation

prototype online version of incremental answer set programming (iclingo)

• Host: GitHub
• URL: https://github.com/grote/online-asp
• Owner: grote
• License: gpl-3.0
• Created: 2010-04-15T19:31:21.000Z (over 14 years ago)
• Default Branch: master
• Last Pushed: 2010-11-17T18:43:59.000Z (about 14 years ago)
• Last Synced: 2024-05-02T00:28:54.098Z (7 months ago)
• Language: C++
• Homepage: http://potassco.sf.net/
• Size: 3.53 MB
• Stars: 3
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • Changelog: CHANGES
  • License: COPYING

Awesome Lists containing this project

README

        
gringo - A grounder for logic programs:

---------------------------------------

gringo is distributed under the GNU Public Licence, see file COPYING for 

details. For instructions on how to compile and install gringo consult 

the INSTALL file.

Distribution contents:

   COPYING        - GNU Public Licence

   CHANGES        - Major changes between versions

   README         - This file

   INSTALL        - Installation instructions

   CMakeLists.txt - Used to build project using cmake

   Makefile       - Contains preset configurations for common builds

   app/           - Source code directory of the command-line interface

   lib*/          - Sourcecode + includes for all required libraries

   doc/           - Documentation directory (doxygen is required to build the

                    api documentation and latex to build the guide)

   cmake/         - Contains auxiliary files for cmake

gringo is written in mostly Standard-C++ and was successfully built and run 

under Linux (x86-32, x86-64) using gcc and Windows (x86-32) using MinGW.