potassco / clingo

git clone https://github.com/potassco/clingo.git

🦉 A grounder and solver for logic programs.

stars, 24h · #47,975

+~2

stars, 7 days · #27,920

+~10

stars, 30 days · #31,485

854

★ total · +0% this week

104

forks · 11 open issues

2026-10-20 · 853 ★ 2026-10-23 · 854 ★

LanguageC++

LicenseMIT

Created2016-05-10 (10y ago)

Last push1d ago

OwnerOrganization