answer-set-programming

Here are 5 public repositories matching this topic...

My public programs and models - mostly combinatorial problems and puzzles

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

asp potato clingo answer-set-programming informaticup potassco

Answer Set Programming extension for the DALI MAS Framework

prolog webapp multi-agent-systems answer-set-programming dlv

🌳 Tree-sitter grammar for gringo (ASP Logic Programming)

This project is my master's dissertation, a Visual Studio Code extension tailored to aid newcomers to Answer Set Programming with their encodings.

Add a description, image, and links to the answer-set-programming topic page so that developers can more easily learn about it.

To associate your repository with the answer-set-programming topic, visit your repo's landing page and select "manage topics."