satsolver

An interactive development environment for SMT-LIB files and Z3

Go (golang) bindings for Picosat, the satisfiability solver

A Circuit SAT language that emit CNF code.

a common C++11 SAT solver interface for different SAT solvers

A Domain-Specific Language for SAT Solving

A simplified Sat4J Interface.

A personal implementation of a basic SAT solver.

SAT Solver For Solving Sudoku Boards Of Alternating Difficulty

Toy CNF-SAT solvers

SATStreams SAT solving library and CLI solver

Boolean Satisfiability Problem Solver

SAT Solver - Local Search and Bitwise optimization for university thesis in computer engineering

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.