Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 13 Answer Set Programming Open Source Projects

Open source projects categorized as Answer Set Programming
Categories > Answer Set Programming
Clingo ⭐ 545
🤔 A grounder and solver for logic programs.
dependent packages 28total releases 10most recent commit 5 months agopypi clingo} Downloads
Hakank ⭐ 342
My public programs and models - mostly combinatorial problems and puzzles
most recent commit 3 months ago
Draco ⭐ 212
Visualization Constraints and Weight Learning
total releases 13most recent commit 9 months ago
Diff Sat ⭐ 56
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
most recent commit 4 months ago
Alpha ⭐ 54
A lazy-grounding Answer-Set Programming system
most recent commit 5 months ago
Symbolic Rl ⭐ 52
Symbolic Reinforcement Learning using Inductive Logic Programming
most recent commit 2 years ago
Clyngor ⭐ 32
Handy python wrapper around Potassco's Clingo ASP solver.
dependent packages 8total releases 64most recent commit a year agopypi clyngor} Downloads
Ilasp Releases ⭐ 26
most recent commit 10 months ago
Dpasp ⭐ 9
Differentiable probabilistic answer set programming
total releases 15most recent commit 7 months ago
Powergrasp ⭐ 8
Compress graphs
total releases 49most recent commit 4 years ago
Pasp Mode ⭐ 8
An Emas Major Mode for editing Answer Set Programs
most recent commit 6 years ago
Iclingo ⭐ 6
🔴🟢🔵 clingo kernel for Jupyter
total releases 8most recent commit 8 months ago
Answer Set Programming Algorithms ⭐ 5
Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
most recent commit 9 months ago
The 2 Most Depended On Answer Set Programming Open Source Projects
Clingo ⭐ 545
🤔 A grounder and solver for logic programs.
dependent packages 28total releases 10latest release November 07, 2022most recent commit 5 months agopypi clingo} Downloads
Clyngor ⭐ 32
Handy python wrapper around Potassco's Clingo ASP solver.
dependent packages 8total releases 64latest release March 31, 2022most recent commit a year agopypi clyngor} Downloads
The 6 Latest Releases In Answer Set Programming Open Source Projects
Dpasp ⭐ 9
Differentiable probabilistic answer set programming
total releases 15latest release August 29, 2023most recent commit 7 months ago
Draco ⭐ 212
Visualization Constraints and Weight Learning
total releases 13latest release January 31, 2023most recent commit 9 months ago
Clingo ⭐ 545
🤔 A grounder and solver for logic programs.
dependent packages 28total releases 10latest release November 07, 2022most recent commit 5 months agopypi clingo} Downloads
Clyngor ⭐ 32
Handy python wrapper around Potassco's Clingo ASP solver.
dependent packages 8total releases 64latest release March 31, 2022most recent commit a year agopypi clyngor} Downloads
Iclingo ⭐ 6
🔴🟢🔵 clingo kernel for Jupyter
total releases 8latest release March 05, 2022most recent commit 8 months ago
Powergrasp ⭐ 8
Compress graphs
total releases 49latest release December 18, 2018most recent commit 4 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.