An Industrial Estate Generator for the Videogame Cities: Skylines® using Logic Programming (Answer Set Programming)
A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!
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
Add a description, image, and links to the potassco topic page so that developers can more easily learn about it.
To associate your repository with the potassco topic, visit your repo's landing page and select "manage topics."