clingo

🗝️ Rust bindings to the clingo library

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

Version ranges for nixpkgs, solved by clingo over the nixpkgs-multiverse history index.

Logic plus python types

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

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) ♣️ 🎲

Extended logic puzzle solver of noq.

🔴🟢🔵 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

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

Deontic logic solver in ASP with Clingo

Scheduling team marathon relays with Answer Set Programming

A project showcasing a scheduling algorithm to optimize warehouse robot coordination for efficient product delivery and order fulfillment.

Basic stuff about clingo API

🧩 A type checker for Clingo ASP programs

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

A C# bindings of Clingo library