🦉 A grounder and solver for logic programs.
-
Updated
Nov 25, 2025 - C++
#
answer-set-programming
Here are 185 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
Oct 29, 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
Nov 19, 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
Nov 22, 2025 - Java
Handy python wrapper around Potassco's Clingo ASP solver.
-
Updated
May 18, 2023 - Python
🏘 React 🏩 Interview 🚂 Question 🚃 is 🏯 a 🏨 curated 🚋 collection ✈ of 🚁 React.js 🛸 interview 🛫 questions 🚞 deep ☂ explanations ⛱ hands ⛴ on ⚽ examples ⚾ and 🥎 coding 🏀 challenges 🏐 designed 🏈 to 🏉 help 🎳 developers ⛸ prepare 🧸 frontend 🏏and 🎁 full 📔 stack 📕 interviews 🪣 with 📘 confidence 🔋
-
Updated
Nov 22, 2025
🤖 JavaScript 🥶 Interview 🤢 Question 🤡 is 🚅 a 👽 comprehensive 🐸 collection 🐳 of 🚈 essential 🐡 JavaScript 🪲 questions 🪰 explanations 🐙 and 🍊 coding 🍎 exercises 🍏 designed 🌰 to ⛪ help 🫑 developers ✈ prepare 🚀 technical 🚁 interviews 🚟 coding 🚠 assessments 🚢 and 🛫 real 🛬 world 🛼 problem 🚞 solving 🕌
-
Updated
Nov 22, 2025
Differentiable probabilistic answer set programming
probabilistic-programming logic-programming answer-set-programming probabilistic-logic-programming credal-sets neurosymbolic-ai
-
Updated
Jun 23, 2025 - C
Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP
-
Updated
Oct 4, 2023 - C#
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
language computer-science education algorithm programming algorithms logic constraint-satisfaction-problem oer np-hard np-complete software-engineering constraint-programming logic-programming clingo answer-set-programming open-educational-resource aspa stable-models asp-for-all
-
Updated
Jun 30, 2025 - 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
Nov 7, 2025 - Python
A tool for explainability and debugging in Answer Set Programming.
-
Updated
Mar 25, 2025 - Python
Synthesis and Reprogramming of Most Permissive Boolean Networks
-
Updated
Nov 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
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."