clingo
Here are 61 public repositories matching this topic...
Answer Set Probramming (ASP): clingo encodings for solving Sudoku, Seek Numbers, and Minotaur games.
-
Updated
Jun 4, 2022
An ASP Timetabler Application
-
Updated
Feb 27, 2019 - HTML
A repository of ASP planning benchmarks
-
Updated
Feb 8, 2019 - ASP
🔴🟢🔵 clingo kernel for Jupyter
-
Updated
Aug 19, 2023 - Python
An Implementation of the Adaptation Procedure in Misinformation Games, in collaboration with Constantinos Varsos and Giorgos Flouris. ICS FORTH
-
Updated
Nov 16, 2022 - Python
📊 A task-based visualization recommendation app, aiming to be the Grammarly for stories written with charts. Built with draco and vega-lite.
-
Updated
Mar 12, 2023 - TypeScript
Documentation framework for ASP, from user to contributor
-
Updated
Feb 7, 2023 - Python
A C# bindings of Clingo library
-
Updated
Sep 24, 2022 - C#
Flood-It solver written for the ASP system telingo.
-
Updated
Jan 9, 2019 - Python
An ASM emulator designed to detect conditionally executed malware
-
Updated
Jun 15, 2017 - Jupyter Notebook
Pretty Printer for Clingo 🐧
-
Updated
Mar 31, 2018 - Haskell
Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP)
-
Updated
Mar 25, 2023 - Python
TUP instance parser that generates logic programming code for Clingo
-
Updated
Mar 15, 2022 - Python
Improve this page
Add a description, image, and links to the clingo topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the clingo topic, visit your repo's landing page and select "manage topics."