BetaRare
potassco/clingo
🦉 A grounder and solver for logic programs.
- Owner
- potassco (organization)
- Stars
- Stars: 857
- Forks
- Forks: 104
- Language
- C++
- License
- MIT
- Created
- 2016
- Topics
- answer-set-programmingdeclarative-programminglogic-programming
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by potassco
All 3 repos by potassco- potassco/pddl-instancesStars: 159Common LispPrototype
- potassco/claspStars: 151C++Prototype
Nearby in C++
All C++ repos- forrest-orr/monetaStars: 857C++Beta
- audeering/opensmileStars: 857C++Beta
- cppfastio/fast_ioStars: 857C++Beta
- lsegal/my_toy_compilerStars: 857C++Beta