Sudoku solver using Answer Set Programming (Clingo)

Prácticas de la asignatura de Representación del Conocimiento y Razonamiento Automático

Development of projects for the course "Artificial Intelligence and Laboratory"

Algorithms for Computational Logic's project.

A node.js app which implements an ASP encoding that allows to solve every kind of sudoku 9x9.

A solver for determining the shortest set of breeding steps to breed an egg move onto a pokemon

Sudoku solver in ASP

A tour guide personalized as per the user's requirements

A REPL for ASP (clingo)

Visualization of Nurikabe Puzzle with Clingo and Python

Python scripts I developed during the writing of my bachelor thesis

Comparative analysis of ASP (Clingo) and CP (MiniZinc) for the Political Districting problem. Includes multithreaded Python benchmarking tools.

TUP instance parser that generates logic programming code for Clingo

Org-Babel support for generating graph visualizations using Potassco clingraph

NodeJS application to generate Secret Santa using Python's Clingo answer set solver deployed to AWS Lambda

Answer Set Probramming (ASP): clingo encodings for solving Sudoku, Seek Numbers, and Minotaur games.

This repository contains implementations of several answer set programming problems. Currently contains: meeting scheduling, elevator routing, and monkey-banana pathing.

Solver of a logic grid found on "Settimana Enigmistica" magazine modeled through the Answer Set Programming (ASP) approach.

Resolución del puzzle Lights Out utilizando telingo.

Extension for the Zed IDE to support clingo highlihgting via tree-sitter-clingo