8 results found Sort:

potassco
clingo potassco
84
627
mit
34
🤔 A grounder and solver for logic programs.
logic-programming answer-set-programming declarative-programming
Created 2016-05-10
1,937 commits to master branch, last one 6 months ago
TEN-framework
ten_framework TEN-framework
39
468
other
9
TEN, a voice agent framework to create conversational AI.
c ai cpp rust clingo golang python workflow cloud-store plugin-system cross-language cross-platform package-management cloud-edge-computing answer-set-programming
Created 2024-08-23
323 commits to main branch, last one 20 hours ago
hakank
hakank hakank
76
371
mit
45
My public programs and models - mostly combinatorial problems and puzzles
ampl jgap setl z3py choco comet frink jacop picat gecode poplog prolog essence minizinc numberjack eclipse-clp sicstus-prolog answer-set-programming constraint-programming constraint-satisfaction
Created 2013-08-06
608 commits to master branch, last one 7 days ago
uwdata
draco uwdata
28
224
bsd-3-clause
20
Visualization Constraints and Weight Learning
vega answer-set-programming visualization-constraints visualization-recommendation
Created 2017-05-31
1,207 commits to master branch, last one about a year ago
MatthiasNickles
diff-SAT MatthiasNickles
4
63
mit
4
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
psat dimacs-cnf sat-solver probability optimization probabilistic satisfiability logic-programming probabilistic-asp weighted-sat-solving answer-set-programming constraint-programming artificial-intelligence multi-models-optimization probabilistic-programming differentiable-programming probabilistic-satisfiability differentiable-satisfiability
Created 2018-10-25
291 commits to master branch, last one 6 months ago
921kiyo
symbolic-rl 921kiyo
10
61
mit
7
Symbolic Reinforcement Learning using Inductive Logic Programming
ilp answer-set-programming reinforcement-learning artificial-intelligence inductive-logic-programming symbolic-reinforcement-learning
Created 2018-05-16
431 commits to master branch, last one 2 years ago
alpha-asp
Alpha alpha-asp
10
59
bsd-2-clause
7
A lazy-grounding Answer-Set Programming system
solver lazy-grounding logic-programming answer-set-programming
Created 2016-07-08
1,909 commits to master branch, last one about a year ago
robsimmons
dusa robsimmons
3
36
gpl-3.0
3
A logic programming language that has features of both Datalog and answer set programming.
datalog forward-chaining logic-programming answer-set-programming
Created 2023-11-09
586 commits to main branch, last one 5 days ago