answer-set-programming topic
hakank
My public programs and models - mostly combinatorial problems and puzzles
draco
Visualization Constraints and Weight Learning
symbolic-rl
Symbolic Reinforcement Learning using Inductive Logic Programming
clingo
🤔 A grounder and solver for logic programs.
clyngor
Handy python wrapper around Potassco's Clingo ASP solver.
diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Alpha
A lazy-grounding Answer-Set Programming system
ILASP-releases
dpasp
Differentiable probabilistic answer set programming
dusa
A logic programming language that has features of both Datalog and answer set programming.