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

Numbrix puzzle SAT encoding

Slitherlink Puzzle interpreting as a SAT Problem

Sudoku solver using the PySAT toolkit.

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

✏ SAT approach for 8-queens problem

Logical programming for a harvesting scheduling problem example

A minesweeper solver using different algorithms

Seasonal Analysis routines for pysat

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

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

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

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

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

Madrigal instrument support for the pysat ecosystem

Mission planning instrument tools for pysat

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

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.

pysat support for space weather indices and data sets