A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).
-
Updated
Apr 14, 2025 - JavaScript
#
potassco
Here are 4 public repositories matching this topic...
An Industrial Estate Generator for the Videogame Cities: Skylines® using Logic Programming (Answer Set Programming)
csharp cities-skylines logic-programming final-project answer-set-programming csharp-library potassco
-
Updated
Oct 12, 2021 - C#
A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!
-
Updated
Feb 12, 2021 - Dockerfile
This project combines Answer Set Programming for optimal drone delivery route planning with temporal logic verification of flight maneuvers. It balances distance and energy costs while formally verifying safety properties, providing mathematical guarantees for autonomous drone operations
temporal-logic model-checking formal-methods answer-set-programming travelling-salesman-problem drone-delivery potassco path-optimization nusmv-model-checker
-
Updated
Mar 1, 2025
Improve this page
Add a description, image, and links to the potassco topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the potassco topic, visit your repo's landing page and select "manage topics."