# potassco/clasp

<https://repo.masters-masters.com/en/repos/potassco/clasp>

[Home](https://repo.masters-masters.com/en) › [potassco](https://repo.masters-masters.com/en/owners/potassco) › [clasp](https://repo.masters-masters.com/en/repos/potassco/clasp)

potassco/clasp has 151 stars on GitHub. Its RepoMasters card: Prototype tier. ⚙️ A conflict-driven nogood learning answer set solver Language: C++.

| Field | Value |
| --- | --- |
| Owner | [potassco](https://repo.masters-masters.com/en/owners/potassco) |
| Stars | 151 |
| Forks | 21 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | MIT |
| Created | 2016 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [potassco/clasp](https://github.com/potassco/clasp) |

## Repository

⚙️ A conflict-driven nogood learning answer set solver

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by potassco

- [potassco/clingo · ★ 857 · C++ · Beta](https://repo.masters-masters.com/en/repos/potassco/clingo)
- [potassco/pddl-instances · ★ 159 · Common Lisp · Prototype](https://repo.masters-masters.com/en/repos/potassco/pddl-instances)

## Nearby in C++

- [nzfeng/points-as-tori · ★ 151 · C++ · Prototype](https://repo.masters-masters.com/en/repos/nzfeng/points-as-tori)
- [LedyBacer/ProsperoLight · ★ 151 · C++ · Prototype](https://repo.masters-masters.com/en/repos/LedyBacer/ProsperoLight)
- [TabStationToo/TabStationToo · ★ 151 · C++ · Prototype](https://repo.masters-masters.com/en/repos/TabStationToo/TabStationToo)
- [dimikot/dklab\_realplexor · ★ 151 · C++ · Prototype](https://repo.masters-masters.com/en/repos/dimikot/dklab_realplexor)
- [OptimalBits/navcodec · ★ 151 · C++ · Prototype](https://repo.masters-masters.com/en/repos/OptimalBits/navcodec)
- [fcitx/fcitx-qt5 · ★ 151 · C++ · Prototype](https://repo.masters-masters.com/en/repos/fcitx/fcitx-qt5)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.