Data

Tools

Indexes

Applications

Experiments

Open Source Science

clingo

🦉 A grounder and solver for logic programs.

https://github.com/potassco/clingo

Science Score: 36.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • â—‹
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • â—‹
    DOI references
  • â—‹
    Academic publication links
  • ✓
    Committers with academic emails
    9 of 23 committers (39.1%) from academic institutions
  • â—‹
    Institutional organization owner
  • â—‹
    JOSS paper metadata
  • â—‹
    Scientific vocabulary similarity
    Low similarity (7.7%) to scientific vocabulary

Keywords

answer-set-programming declarative-programming logic-programming
Last synced: 6 months ago · JSON representation

Repository

🦉 A grounder and solver for logic programs.

Basic Info
Statistics
  • Stars: 691
  • Watchers: 36
  • Forks: 87
  • Open Issues: 9
  • Releases: 18
Topics
answer-set-programming declarative-programming logic-programming
Created almost 10 years ago · Last pushed 6 months ago
Metadata Files
Readme Changelog Contributing License

README.md

Clingo: A grounder and solver for logic programs

Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem. To get an idea, check our Getting Started page and the online version of clingo.

Please consult the following resources for further information:

Clingo is distributed under the MIT License.

Owner

  • Name: Potassco
  • Login: potassco
  • Kind: organization
  • Location: Potsdam, Germany

Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam

GitHub Events

Total
  • Issues event: 38
  • Watch event: 85
  • Delete event: 14
  • Issue comment event: 104
  • Push event: 131
  • Pull request review comment event: 44
  • Pull request review event: 46
  • Pull request event: 26
  • Fork event: 10
  • Create event: 18
Last Year
  • Issues event: 38
  • Watch event: 85
  • Delete event: 14
  • Issue comment event: 104
  • Push event: 131
  • Pull request review comment event: 44
  • Pull request review event: 46
  • Pull request event: 26
  • Fork event: 10
  • Create event: 18

Committers

Last synced: over 2 years ago

All Time
  • Total Commits: 1,675
  • Total Committers: 23
  • Avg Commits per committer: 72.826
  • Development Distribution Score (DDS): 0.124
Past Year
  • Commits: 7
  • Committers: 4
  • Avg Commits per committer: 1.75
  • Development Distribution Score (DDS): 0.571
Top Committers
Name Email Commits
Roland Kaminski k****i@c****e 1,468
Benjamin Kaufmann k****n@c****e 104
Roland Kaminski r****k 54
Patrick Lühne p****b@l****e 9
Patrick Lühne p****e 5
MaxOstrowski o****k@c****e 5
Sven Thiele s****8@g****m 4
Patrick Lühne p****k@l****e 4
Max Ostrowski m****i@p****m 3
kaminski k****i@R****S 3
Dominik Moritz d****z@g****m 3
Javier Romero j****r@c****e 2
Harmen Stoppels h****s@g****m 1
Tom Scogland s****1@l****v 1
Martin Gebser g****r@c****e 1
Till Hofmann h****n@k****e 1
bartbog b****g 1
John Meyer 0****6 1
Tim Niemueller n****r@k****e 1
Max-Julian Pogner 3****u 1
Roland Kaminski k****l@h****e 1
Josh Essman 6****l 1
Horrowind H****d 1
Committer Domains (Top 20 + Academic)
cs.uni-potsdam.de: 5 kbsg.rwth-aachen.de: 2 luehne.de: 2 herm.haiti.cs.uni-potsdam.de: 1 llnl.gov: 1 potassco.com: 1

Issues and Pull Requests

Last synced: 6 months ago

All Time
  • Total issues: 152
  • Total pull requests: 98
  • Average time to close issues: 2 months
  • Average time to close pull requests: 3 days
  • Total issue authors: 82
  • Total pull request authors: 11
  • Average comments per issue: 2.98
  • Average comments per pull request: 0.94
  • Merged pull requests: 76
  • Bot issues: 1
  • Bot pull requests: 2
Past Year
  • Issues: 23
  • Pull requests: 28
  • Average time to close issues: 18 days
  • Average time to close pull requests: 4 days
  • Issue authors: 18
  • Pull request authors: 4
  • Average comments per issue: 1.83
  • Average comments per pull request: 1.11
  • Merged pull requests: 18
  • Bot issues: 0
  • Bot pull requests: 1
View more stats
Top Authors
Issue Authors
  • rkaminsk (15)
  • mahi045 (8)
  • ejgroene (7)
  • MaxOstrowski (6)
  • jorgefandinno (5)
  • AbdallahS (5)
  • mbalduccini (5)
  • RenatoGeh (5)
  • marklaw (5)
  • yurivict (4)
  • yangdinglou (3)
  • Genco2 (3)
  • light-and-salt (3)
  • aymeric75 (3)
  • kherud (2)
Pull Request Authors
  • rkaminsk (64)
  • BenKaufmann (19)
  • javier-romero (4)
  • jorgefandinno (3)
  • dependabot[bot] (2)
  • haampie (1)
  • namcsi (1)
  • adamjstewart (1)
  • domoritz (1)
  • qyanu (1)
  • marcbutler (1)
Top Labels
Issue Labels
question (55) enhancement (22) bug (13) invalid (3) duplicate (2) wontfix (1) dependencies (1)
Pull Request Labels
enhancement (20) bug (12) dependencies (2) github_actions (1)

Packages

  • Total packages: 3
  • Total downloads:
    • pypi 56,278 last-month
  • Total docker downloads: 365,707
  • Total dependent packages: 45
    (may contain duplicates)
  • Total dependent repositories: 119
    (may contain duplicates)
  • Total versions: 35
  • Total maintainers: 1
pypi.org: clingo

CFFI-based bindings to the clingo solver.

  • Versions: 9
  • Dependent Packages: 37
  • Dependent Repositories: 111
  • Downloads: 56,278 Last month
  • Docker Downloads: 365,707
Rankings
Dependent packages count: 0.5%
Dependent repos count: 1.4%
Docker downloads count: 2.4%
Average: 2.5%
Stargazers count: 2.7%
Downloads: 2.7%
Forks count: 5.0%
Maintainers (1)
kaminski
Last synced: 6 months ago
proxy.golang.org: github.com/potassco/clingo
  • Versions: 18
  • Dependent Packages: 0
  • Dependent Repositories: 0
Rankings
Dependent packages count: 5.5%
Average: 5.7%
Dependent repos count: 5.9%
Last synced: 6 months ago
conda-forge.org: clingo

Clingo is an answer set programming (ASP) system that takes a logic program as input and calculates its answer sets.

  • Versions: 8
  • Dependent Packages: 8
  • Dependent Repositories: 8
Rankings
Dependent packages count: 7.1%
Dependent repos count: 12.2%
Average: 14.7%
Stargazers count: 17.9%
Forks count: 21.6%
Last synced: 6 months ago

Dependencies

.github/workflows/cibuildwheel.yml actions
  • actions/checkout v3 composite
  • actions/download-artifact v3 composite
  • actions/upload-artifact v3 composite
  • docker/setup-qemu-action v2 composite
  • pypa/cibuildwheel v2.10.0 composite
  • pypa/gh-action-pypi-publish v1.5.0 composite
.github/workflows/conda-dev.yml actions
  • actions/checkout v2 composite
  • conda-incubator/setup-miniconda v2 composite
.github/workflows/ppa-dev.yml actions
  • actions/checkout v2 composite
.github/workflows/test.yml actions
  • actions/checkout v2 composite
  • conda-incubator/setup-miniconda v2 composite
libpyclingo/setup.py pypi
  • cffi >=1.0.0
setup.py pypi
  • cffi *
doc/py/Gemfile rubygems
  • jekyll-feed ~> 0.6 development
  • jekyll ~> 3.8.5
  • listen >= 0
  • minima ~> 2.0
  • tzinfo-data >= 0
libpyclingo/pyproject.toml pypi
pyproject.toml pypi
scratch/setup.py pypi