Sudoku solver using the PySAT toolkit.

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

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

A minesweeper solver using different algorithms

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

✏ SAT approach for 8-queens problem

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.

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

Madrigal instrument support for the pysat ecosystem

Slitherlink Puzzle interpreting as a SAT Problem

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

Numbrix puzzle SAT encoding

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

Seasonal Analysis routines for pysat

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

pysat support for space weather indices and data sets

Mission planning instrument tools for pysat