目录
- .githubundo changes to trigger.sh1年前
- appreformat code base1年前
- cmakereformat code base1年前
- docreformat code base1年前
- examplesreformat code base1年前
- libclingoupdate changes and bump version to 5.8.010个月前
- libgringoreformat code base1年前
- libluaclingoreformat code base1年前
- libpyclingono need to make Application.main abstract11个月前
- libreifyreformat code base1年前
- scratchreformat code base1年前
- third_partybump cmake minimum version to 3.10.10个月前
- .clang-formatadd a pre-commit config with basic formatters1年前
- .clang-tidyreformat code base1年前
- .envrcrefine envrc11个月前
- .gitignorereformat clingo python module3年前
- .gitmodulesuse wider int types in IESolver to avoid overflows2年前
- .pre-commit-config.yamladd a pre-commit config with basic formatters1年前
- .travis.ymlRefine CMake Configuration Variables (#283)4年前
- CHANGES.mdupdate changes and bump version to 5.8.010个月前
- CMakeLists.txtbump cmake minimum version to 3.10.10个月前
- CONTRIBUTING.mdupdate2年前
- INSTALL.mdbump cmake requirement10个月前
- LICENSE.mdupdate release scripts8年前
- MANIFEST.infix manifest to include wide-integer lib1年前
- Makefileadjust web options11个月前
- README.mdupdate2年前
- TODO.mddumped my thoughts about memory management7年前
- pyproject.tomlundo last commit3年前
- setup.pyupdate version10个月前
- clasp@e51b9cfefdbump cmake requirement10个月前
邀请码
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.