clingo is a standard library for C. You can explore the documentation at the website.

Build & Test

It is recommended to use the following tools:


$ cmake -S mk/cmake -B bld -G "Ninja Multi-Config" -DCMAKE_C_COMPILER=clang
$ cd bld
$ ninja  # like: -f
$ ninja -f
$ ninja -f


$ bld
$ ctest -C Debug                  # run all debug tests
$ ctest -C Release                # run all release tests
$ ctest -C Debug -E benchmark     # run debug tests without "benchmark" in the name
$ ctest -C Release -R benchmark   # run release tests wit "benchmark" in the name

Generate HTML docs

$ lua mk/htmldoc/generate.lua

Open Points

  • select or create a formater for the source code

  • add missing tests and improve documentation

  • maybe color sub module to handle colors, similar to the time sub module


clingo is licensed under the MIT Open Source license. For more information, see the LICENSE file in this repository.