clingo

🤔 A grounder and solver for logic programs.

Showing:

Popularity

Downloads/wk

0

GitHub Stars

351

Maintenance

Last Commit

5mos ago

Contributors

20

Package

Dependencies

0

License

MIT

Categories

Readme

Clingo: A grounder and solver for logic programs

Clingo is part of the Potassco 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 page and the online version of clingo.

Please consult the following resources for further information:

Clingo is distributed under the MIT License.

Rate & Review

Great Documentation0
Easy to Use0
Performant0
Highly Customizable0
Bleeding Edge0
Responsive Maintainers0
Poor Documentation0
Hard to Use0
Slow0
Buggy0
Abandoned0
Unwelcoming Community0
100