1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# 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).
|
