clingo • Rank 22.6 • Science 36%

🦉 A grounder and solver for logic programs.

miscoto • Rank 7.4 • Science 36%

Python package for large-scale community selection in microbiota

https://github.com/cfrioux/deadend_detector • Rank 0.7 • Science 13%

Detection of deadends in metabolic networks

https://github.com/cfrioux/fluto • Science 13%

asp-language-support • Science 67%

A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).

alpha • Science 75%

A lazy-grounding Answer-Set Programming system

https://github.com/adamouization/asp-timetable • Science 13%

:calendar: ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)