clingo is a standard library for C. You can explore the documentation at the website.
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 build-Debug.ninja $ ninja -f build-Debug.ninja $ ninja -f build-Release.ninja
$ 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
-
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