8 results found Sort:

potassco
clingo potassco
82
621
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 4 months ago
hakank
hakank hakank
76
368
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
589 commits to master branch, last one a day ago
TEN-framework
ten_framework TEN-framework
30
350
other
7
TEN, the Next-Gen AI-Agent Framework, the world's first truly real-time multimodal AI agent framework.
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
184 commits to main branch, last one 19 hours ago
uwdata
draco uwdata
28
225
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 4 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
58
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 11 months ago
robsimmons
dusa robsimmons
2
30
gpl-3.0
3
A petrifyingly good logic programming language
datalog forward-chaining logic-programming answer-set-programming
Created 2023-11-09
565 commits to main branch, last one 12 hours ago