Repositório do projeto da disciplina Lógica para computação do 4º semestre do curso Ciências da computação do IFCE Maracanaú

Sudoku solver using the PySAT toolkit.

Numbrix puzzle SAT encoding

Algorithm for solving the Latin Square puzzle Futoshiki using pseudo-boolean constraints and a SAT solver

SAT Solver based on DPLL algorithm and Jersolow-Wang 2-sided heuristic. Sudoku Pair Solver and Generator using SAT Solver.

Mission planning instrument tools for pysat

Logical programming for a harvesting scheduling problem example

Un juego de misterio donde los jugadores resuelven tres casos usando lógica proposicional y un SAT solver. A partir de declaraciones y pistas, deben deducir al culpable en escenarios como un robo en un museo, un asesinato en una mansión, y un caso de trampa en un examen.

A minesweeper solver using different algorithms

SAT-solver graphical interface for Web [server-side]

✏ SAT approach for 8-queens problem

SAT-solver graphical interface for Web [client-side]

The purpose of this project is to design and implement a logical agent that navigates through the Wumpus World, a partially-observable environment.

resolução do problema n-Queens com pySAT criado no google colaboratory

Seasonal Analysis routines for pysat

Madrigal instrument support for the pysat ecosystem

Slitherlink Puzzle interpreting as a SAT Problem

Interface for model analysis and model-data comparisons within the pysat ecosystem

pysat support for space weather indices and data sets