🗝️ Rust bindings to the clingo library

Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

📊 A task-based visualization recommendation app. Built with draco and vega-lite.

Logic plus python types

Risk board game in Unity with Bot AI using Answer set programming

A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).

Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) ♣️ 🎲

🔴🟢🔵 clingo kernel for Jupyter

📆 ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)

The world’s first real-time, distributed, cloud-edge collaborative multimodal AI Agent Framework that simultaneously supports C/C++/Go/Python/JS/TS

Extended logic puzzle solver of noq.

A collection of the ongoing research project into the Flatland competition.

A C# bindings of Clingo library

Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodel optimization. For Clingo (https://potassco.org/) + Python

Scheduling team marathon relays with Answer Set Programming

Deontic logic solver in ASP with Clingo

🧩 A type checker for Clingo ASP programs

A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!

A repo for my bachelor thesis

Basic stuff about clingo API