Pinned Loading

1. xclingo2 xclingo2 Public

   A tool for explainability and debugging in Answer Set Programming.

   Python 13 5

2. clingo_python_basics clingo_python_basics Public

   Basic stuff about clingo API

   Python 2

3. dafact dafact Public

   Small python library for encoding different data sources as Answer Set Programing facts.

   Python 1

4. docker-clingo docker-clingo Public

   Forked from kdrakon/docker-clingo

   Docker image for the Potassco clingo Answer Set Programming solver

   Dockerfile

5. crystal-tree crystal-tree Public

   From decision trees to explainable logic programs

   Python