🦉 A grounder and solver for logic programs.

• UpdatedNov 6, 2025
• C++

My public programs and models - mostly combinatorial problems and puzzles

• UpdatedOct 29, 2025
• JavaScript

Visualization Constraints and Weight Learning

• UpdatedAug 7, 2023
• TypeScript

A logic programming language that has features of both Datalog and answer set programming.

• UpdatedOct 23, 2025
• TypeScript

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

• UpdatedJul 1, 2024
• Scala

Symbolic Reinforcement Learning using Inductive Logic Programming

• UpdatedFeb 10, 2023
• Lasso

A lazy-grounding Answer-Set Programming system

• UpdatedNov 2, 2025
• Java

• UpdatedNov 11, 2024

Handy python wrapper around Potassco's Clingo ASP solver.

• UpdatedMay 18, 2023
• Python

Differentiable probabilistic answer set programming

• UpdatedJun 23, 2025
• C

Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP

• UpdatedOct 4, 2023
• C#

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

• UpdatedJun 30, 2025
• Python

Logic plus python types

• UpdatedOct 25, 2025
• Python

A tool for explainability and debugging in Answer Set Programming.

• UpdatedMar 25, 2025
• Python

Synthesis and Reprogramming of Most Permissive Boolean Networks

• UpdatedAug 27, 2025
• Python

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

• UpdatedJun 7, 2023
• C#

An Emas Major Mode for editing Answer Set Programs

• UpdatedApr 4, 2018
• Emacs Lisp

DLV syntax highlighter for Visual Studio Code.

• UpdatedNov 15, 2020

Compress graphs

• UpdatedJan 6, 2020
• Python

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

• UpdatedOct 27, 2025
• JavaScript