🤔 A grounder and solver for logic programs.
-
Updated
Nov 26, 2024 - C++
#
answer-set-programming
Here are 148 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
Nov 21, 2024 - JavaScript
TEN, the Next-Gen AI-Agent Framework, the world's first truly real-time multimodal AI agent framework.
python
c
rust
golang
workflow
ai
cross-platform
cpp
plugin-system
package-management
clingo
answer-set-programming
cross-language
cloud-edge-computing
cloud-store
-
Updated
Nov 26, 2024 - C
Visualization Constraints and Weight Learning
-
Updated
Aug 7, 2023 - 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
Oct 30, 2024 - Java
Handy python wrapper around Potassco's Clingo ASP solver.
-
Updated
May 18, 2023 - Python
A petrifyingly good logic programming language
-
Updated
Nov 26, 2024 - TypeScript
Differentiable probabilistic answer set programming
logic
inference
probabilistic-programming
logic-programming
answer-set-programming
credal
probabilistic-logic-programming
-
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
-
Updated
Aug 14, 2023 - Python
Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP
-
Updated
Oct 4, 2023 - C#
An Emas Major Mode for editing Answer Set Programs
-
Updated
Apr 4, 2018 - Emacs Lisp
A tool for explainability and debugging in Answer Set Programming.
-
Updated
Oct 21, 2024 - Python
DLV syntax highlighter for Visual Studio Code.
-
Updated
Nov 15, 2020
Compress graphs
-
Updated
Jan 6, 2020 - Python
Synthesis and Reprogramming of Most Permissive Boolean Networks
-
Updated
Oct 23, 2024 - Python
Personal learning repository for Answer Set Programming
-
Updated
Sep 24, 2018 - Python
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."