Projects with CITATION.cff | Open Source Science

Projects with CITATION.cff
Export CSV

Updated 4 months ago

alpha • Science 75%

A lazy-grounding Answer-Set Programming system

answer-set-programming lazy-grounding logic-programming solver

Updated 4 months ago

asp-language-support • Science 67%

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

answer-set-programming asp clingo informaticup potassco potato