pycosat

Here are 5 public repositories matching this topic...

A solver for Slitherlinky (also called Loop-the-Loop) that uses SAT.

game puzzle solver python3 sat-solver sat pycosat

A SAT-based sudoku solver

APTO Course at AGH University Of Krakow

python agh sat-solver sat pycosat set-cover agh-wi

Ranking Clues for SuDoKu SAT Solvers

Little python program that solves dosun fuwari grids for you

python3 tkinter pycosat

To associate your repository with the pycosat topic, visit your repo's landing page and select "manage topics."