Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for answer set programming
answer-set-programming
x
13 search results found
Clingo
⭐
545
🤔 A grounder and solver for logic programs.
Hakank
⭐
342
My public programs and models - mostly combinatorial problems and puzzles
Draco
⭐
212
Visualization Constraints and Weight Learning
Diff Sat
⭐
56
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Alpha
⭐
54
A lazy-grounding Answer-Set Programming system
Symbolic Rl
⭐
52
Symbolic Reinforcement Learning using Inductive Logic Programming
Clyngor
⭐
32
Handy python wrapper around Potassco's Clingo ASP solver.
Ilasp Releases
⭐
26
Dpasp
⭐
9
Differentiable probabilistic answer set programming
Powergrasp
⭐
8
Compress graphs
Pasp Mode
⭐
8
An Emas Major Mode for editing Answer Set Programs
Iclingo
⭐
6
🔴🟢🔵 clingo kernel for Jupyter
Answer Set Programming Algorithms
⭐
5
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
Related Searches
Asp Answer Set Programming (25)
Python Answer Set Programming (22)
1-13 of 13 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.