GutBla/PROJECT_SATsolver_Enigmas_y_Misterios

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.

Language: Python - Size: 13.8 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

sbeyer/commonsat

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

Language: C++ - Size: 75.2 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0

maxtuno/CircuitSAT

A Circuit SAT language that emit CNF code.

Language: Python - Size: 2.08 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

JBourton/SatSolver

Implementation of a basic SAT solver, completed as coursework for Durham University

Language: Python - Size: 229 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

SteffenHub/Sat4J-Interface

A simplified Sat4J Interface.

Language: Java - Size: 90.8 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

zv/z3-mode

An interactive development environment for SMT-LIB files and Z3

Language: Emacs Lisp - Size: 9.77 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 20 - Forks: 7

likolk/Sudoku-Sat-Solver

SAT Solver For Solving Sudoku Boards Of Alternating Difficulty

Language: Python - Size: 197 KB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

wkschwartz/pigosat

Go (golang) bindings for Picosat, the satisfiability solver

Language: C - Size: 250 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 15 - Forks: 4

YingjieQiao/SATSolver

Boolean Satisfiability Problem Solver

Language: Java - Size: 1.08 MB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1

anon767/SATsolver

Language: Go - Size: 215 KB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

chriso/sat

Toy CNF-SAT solvers

Language: Scala - Size: 13.7 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0