Answer Set Programming Open Source Projects
Browse 3 Answer Set Programming open source projects, ranked by GitHub stars. Find the most popular Answer Set Programming tools and libraries.
potassco/clingo
🦉 A grounder and solver for logic programs.
Metrics details
| Stars | 806 |
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
Metrics details
| Stars | 402 |
uwdata/draco
Visualization Constraints and Weight Learning
Metrics details
| Stars | 242 |
Get A Weekly Email With Trending Answer Set Programming Projects
Stay updated on Answer Set Programming plus related topics you pick below.