#

telingo

Here are 3 public repositories matching this topic...

Webastronaut / flood-it-solver

Flood-It solver written for the ASP system telingo.

solver artificial-intelligence asp temporal-logic clingo answer-set-programming linear-temporal-logic declarative-programming telingo

Updated Jan 9, 2019
Python

potassco / clingo-vs-telingo-planning

benchmark clingo linear-temporal-logic telingo

Updated Mar 28, 2019
ASP

agr17 / telingo-lights-out

Resolución del puzzle Lights Out utilizando telingo.

python puzzle clingo telingo

Updated Jun 14, 2022
Python

Improve this page

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

Curate this topic

Add this topic to your repo

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