Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

potassco/clasp

⚙️ A conflict-driven nogood learning answer set solver

Owner: potassco (organization)
Stars: Stars: 151
Forks: Forks: 21
Language: C++
License: MIT
Created: 2016
Tier: Prototype (100 to 249 ★) What this tier means

More repos by potassco

All 3 repos by potassco

potassco/clingoStars: 857C++Beta
potassco/pddl-instancesStars: 159Common LispPrototype

Nearby in C++

nzfeng/points-as-toriStars: 151C++Prototype
xinkyle/VoconlyStars: 151C++Prototype
TGP482/007FRWL-XBERecompStars: 151C++Prototype
dimikot/dklab_realplexorStars: 151C++Prototype
OptimalBits/navcodecStars: 151C++Prototype
fcitx/fcitx-qt5Stars: 151C++Prototype