solver

RoundingSat: the pseudo-Boolean solver powered by proof complexity!

A modular Koi Koi (Hanafuda) engine and solver

A library of tools for solving all kinds of puzzles

Simple solver for the Mobius Front '83 minigame "Cribbage solitaire"

A solver for a number based version of the puzzle game "Mastermind"

This project provides a Python implementation for breaking classical substitution ciphers.

Simple python script to solve a Snake Cube, wooden puzzle where 27 (or 64) small cubes are attached next to each other with an elastic and must be twisted in order to form a 3x3x3 (or 4x4x4) big wooden cube. Learning basic python scripts