https://github.com/potassco/clingo

🤔 A grounder and solver for logic programs.
https://github.com/potassco/clingo

answer-set-programming declarative-programming logic-programming

Last synced: 1 day ago
JSON representation

🤔 A grounder and solver for logic programs.

• Host: GitHub
• URL: https://github.com/potassco/clingo
• Owner: potassco
• License: mit
• Created: 2016-05-10T12:35:00.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2024-10-01T09:57:23.000Z (about 1 month ago)
• Last Synced: 2024-10-07T10:10:49.485Z (about 1 month ago)
• Topics: answer-set-programming, declarative-programming, logic-programming
• Language: C++
• Homepage: https://potassco.org/clingo
• Size: 18.2 MB
• Stars: 606
• Watchers: 34
• Forks: 81
• Open Issues: 14
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
# Clingo: A grounder and solver for logic programs

Clingo is part of the [Potassco](https://potassco.org) project for *Answer Set

Programming* (ASP).  ASP offers a simple and powerful modeling language to

describe combinatorial problems as *logic programs*.  The *clingo* system then

takes such a logic program and computes *answer sets* representing solutions to

the given problem.  To get an idea, check our [Getting

Started](https://potassco.org/doc/start/) page and the [online

version](https://potassco.org/clingo/run/) of clingo.

Please consult the following resources for further information:

  - [**Downloading source and binary releases**](https://github.com/potassco/clingo/releases)

  - [**Installation and software requirements**](INSTALL.md)

  - [**Contributing**](CONTRIBUTING.md)

  - [Changes between releases](CHANGES.md)

  - [Documentation](https://github.com/potassco/guide/releases)

  - [Potassco clingo page](https://potassco.org/clingo/)

Clingo is distributed under the [MIT License](LICENSE.md).