Fills a rectangle using given tetris shapes (tetraminos) using an optimized brute force algorithm.
A puzzle can have many different solutions; this solver will stop at the first one. Not all puzzles are solveable.
Created to solve the annoying tetris puzzles in The Talos Principle and Sigils of Elohim.
This is an implementation of Donald Knuth's Algorithm X ("dancing links"). This is primarily a sudoku generator and solver, though it can be used to solve other exact cover problems.
Very fast and easy to use Java tool for solving and generating Sudoku puzzles. By using Donald Knuths exact cover algorithmus it can not only solve or create the usual 9x9 but also 4x4, 16x16 or even bigger Sudokus in a very efficient way.
MobileMath is a software written by using J2ME technolology. It turns mobile into calculator supporting many operations such as : evaluate expression, plotting, differentiate & integrate expression... It can run on any mobiles supporting Java.