pysat support for space weather indices and data sets

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.

Mission planning instrument tools for pysat

Madrigal instrument support for the pysat ecosystem

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

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

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

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

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

Seasonal Analysis routines for pysat

A minesweeper solver using different algorithms

Logical programming for a harvesting scheduling problem example

✏ SAT approach for 8-queens problem

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

Sudoku solver using the PySAT toolkit.

Slitherlink Puzzle interpreting as a SAT Problem

Numbrix puzzle SAT encoding

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