answer-set-programming

My public programs and models - mostly combinatorial problems and puzzles

Visualization Constraints and Weight Learning

Symbolic Reinforcement Learning using Inductive Logic Programming

SAT and Answer Set solver based on Differentiable Satisfiability :::::: Use cases, e.g., Probabilistic SAT solving, Weighted SAT solving, Probabilistic Answer Set Programming, Distribution-aware model sampling, Multi-models optimization ::::::

A lazy-grounding Answer-Set Programming system

Handy python wrapper around Potassco's Clingo ASP solver.

DLV syntax highlighter for Visual Studio Code.

An Emas Major Mode for editing Answer Set Programs

Personal learning repository for Answer Set Programming

Compress graphs

(ASP) graph handling made easy

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

A programmable language for SpaceEngine addons

🔴🟢🔵 clingo kernel for Jupyter

A tool for explainability and debugging in Answer Set Programming.

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

Python package for large-scale community selection in microbiota

Comparison and testing of multiple concept generation method using ASP

Answer Set Programming extension for the DALI MAS Framework