solver

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

Hbox is a commandline-terminal sokoban solver written in Ada. It is "generic" in the sense that it contains no domain specific strategies. It also provides a demonstration of the advantage in using the Hungarian Algorithm, for Windows, OSX, & linux.

Featuring

* no installation * no dependencies * simply unzip in your Downloads directory, and run.

This is an engine for playing and solving the Input(tm) board game.

This project has an implementation of the game rules, a solver that uses retrograde analysis, and a very simple non-interactive client for showing how to use game solution data.

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"

Sudoku generators, solvers and readers

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

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

We usead an LU decomposition of matrix A to calculate various things. Developed in C++. You can test it by following the instructions on the readme.txt. You must use the format shown in the M00.dat example file.

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

Implementation of famous game "Master Mind" textual mode, with a very efficient solver. Wrote in Сlojure.

Trust region solver for small dense problems

Prolog code solving the snake cube puzzle.

Solving sudoku using camera and OCR