Folders and files

Name		Name	Last commit message	Last commit date
Latest commit History 1,937 Commits
.github		.github
app		app
clasp @ 3f3db1e		clasp @ 3f3db1e
cmake		cmake
doc		doc
examples		examples
libclingo		libclingo
libgringo		libgringo
libluaclingo		libluaclingo
libpyclingo		libpyclingo
libreify		libreify
scratch		scratch
third_party		third_party
.clang-tidy		.clang-tidy
.gitignore		.gitignore
.gitmodules		.gitmodules
.travis.yml		.travis.yml
CHANGES.md		CHANGES.md
CMakeLists.txt		CMakeLists.txt
CONTRIBUTING.md		CONTRIBUTING.md
INSTALL.md		INSTALL.md
LICENSE.md		LICENSE.md
MANIFEST.in		MANIFEST.in
Makefile		Makefile
README.md		README.md
TODO.md		TODO.md
pyproject.toml		pyproject.toml
setup.py		setup.py

Repository files navigation

Clingo: A grounder and solver for logic programs

Clingo is part of thePotassco project forAnswer SetProgramming (ASP). ASP offers a simple and powerful modeling language todescribe combinatorial problems aslogic programs. Theclingo system thentakes such a logic program and computesanswer sets representing solutions tothe given problem. To get an idea, check ourGettingStarted page and theonlineversion of clingo.

Please consult the following resources for further information:

Clingo is distributed under theMIT License.