🤔 A grounder and solver for logic programs.
-
Updated
May 15, 2024 - C++
🤔 A grounder and solver for logic programs.
My public programs and models - mostly combinatorial problems and puzzles
Visualization Constraints and Weight Learning
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Symbolic Reinforcement Learning using Inductive Logic Programming
A lazy-grounding Answer-Set Programming system
Handy python wrapper around Potassco's Clingo ASP solver.
Differentiable probabilistic answer set programming
DLV syntax highlighter for Visual Studio Code.
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
An Emas Major Mode for editing Answer Set Programs
Compress graphs
A tool for explainability and debugging in Answer Set Programming.
Synthesis and Reprogramming of Most Permissive Boolean Networks
Personal learning repository for Answer Set Programming
Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP)
Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP
An Industrial Estate Generator for the Videogame Cities: Skylines® using Logic Programming (Answer Set Programming)
Add a description, image, and links to the answer-set-programming topic page so that developers can more easily learn about it.
To associate your repository with the answer-set-programming topic, visit your repo's landing page and select "manage topics."