🤔 A grounder and solver for logic programs.
-
Updated
Apr 4, 2025 - C++
#
answer-set-programming
Here are 170 public repositories matching this topic...
My public programs and models - mostly combinatorial problems and puzzles
comet ampl prolog choco constraint-programming constraint-satisfaction sicstus-prolog minizinc answer-set-programming gecode essence numberjack setl picat z3py eclipse-clp jacop jgap frink poplog
-
Updated
May 16, 2025 - JavaScript
Visualization Constraints and Weight Learning
-
Updated
Aug 7, 2023 - TypeScript
A logic programming language that has features of both Datalog and answer set programming.
-
Updated
May 6, 2025 - TypeScript
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
optimization probability artificial-intelligence constraint-programming probabilistic-programming logic-programming sat-solver probabilistic answer-set-programming satisfiability differentiable-programming psat differentiable-satisfiability dimacs-cnf probabilistic-asp probabilistic-satisfiability multi-models-optimization weighted-sat-solving
-
Updated
Jul 1, 2024 - Scala
Symbolic Reinforcement Learning using Inductive Logic Programming
reinforcement-learning artificial-intelligence ilp answer-set-programming inductive-logic-programming symbolic-reinforcement-learning
-
Updated
Feb 10, 2023 - Lasso
A lazy-grounding Answer-Set Programming system
-
Updated
Feb 23, 2025 - Java
Handy python wrapper around Potassco's Clingo ASP solver.
-
Updated
May 18, 2023 - Python
Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP
-
Updated
Oct 4, 2023 - C#
Differentiable probabilistic answer set programming
probabilistic-programming logic-programming answer-set-programming probabilistic-logic-programming credal-sets neurosymbolic-ai
-
Updated
Nov 9, 2024 - C
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
language computer-science education algorithm algorithms logic constraint-satisfaction-problem np-hard np-complete constraint-programming logic-programming clingo answer-set-programming aspa stable-models asp-for-all
-
Updated
May 20, 2025 - Answer Set Programming
Synthesis and Reprogramming of Most Permissive Boolean Networks
-
Updated
Jan 29, 2025 - Python
A tool for explainability and debugging in Answer Set Programming.
-
Updated
Mar 25, 2025 - Python
An Emas Major Mode for editing Answer Set Programs
-
Updated
Apr 4, 2018 - Emacs Lisp
DLV syntax highlighter for Visual Studio Code.
-
Updated
Nov 15, 2020
Compress graphs
-
Updated
Jan 6, 2020 - Python
Logic plus python types
python logic prolog datalog z3 common-logic clingo answer-set-programming owl-dl souffle clif description-logic theorem-provers linkml
-
Updated
Mar 14, 2025 - Python
A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).
-
Updated
May 19, 2025 - JavaScript
Improve this page
Add a description, image, and links to the answer-set-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the answer-set-programming topic, visit your repo's landing page and select "manage topics."