Solver

Su Doku Solver - Ever played Su Doku, that silly game in the Times? This solves it for you.

Disc springs are used in many fields of the mechanical industry but, because of their geometry, it is very hard to make absolute predictions for their behaviour. Disc Spring Solver intends to help the disc springs users to foresee the performance of the springs that they are using by giving...

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.


Platforms: Windows, Mac, Linux

Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.


Platforms: Windows, Mac, Linux

Happy Cube Solver is an interactive environment based on OpenGL for designing and building cubes and formations from the Happy Cube 3D puzzles. It integrates a graphic engine for creating and viewing formations and a powerful AI engine for solving them.


Platforms: Windows, Mac

A Fast MAC based 3D Free surface fuid solver. Capable also of simulating viscoelastic fluids.Includes also wave equation solver for simulating shallow water phenomena.


Platforms: Windows, Mac, BSD, Linux

Python Sudoku solver - finds all solutions for a given Sudoku board.


Platforms: Windows, Mac, Linux

The Sudoku Solver is a project managed in Java programming language using open source choco (http://choco.sourceforge.net) constraint programming library which solves given Sudoku puzzles.


Platforms: Windows, Mac, Linux

This is a small project aiming to prove a theory that grids can be solved using only the "possible value" method, whereby the numbers are filled in according the condition that that position has only one possible value, in filling this in, possible values matching this number on the same x and y...


Platforms: C and C plus plus

This solver computes the internal loads on each member of two dimensional isostatic truss structures by using the method of joints.Since the Theory of Deformations is not considered in this program, displacements of the structures are not computed. All assumptions of Rational Mechanics are made...


Platforms: Matlab

Multi-Knapsack solver by two stochastic solvers : i) by Cross-Entropy Method and ii) by Botev-Kroese Method for the following problemmax S(X)=(p^{t}X) st. WX


Platforms: Matlab

Graphical user interface (GUI) is used to solve up to two ordinary differential equations (ODEs). Results can be plotted easily. Choose between MATLAB's ode45 (non-stiff solver) or ode15s (stiffer solver).This is primarily a teaching tool.


Platforms: Matlab

This submission contains an interface to a LBFGS solver for unconstrainted minimization problems of the formmin_{x} f(x) + c*|tilde{x}|,where x are the parameters, f is a scalar valued real function, c is a positive scalar (default value=0), |.| denotes the 1-norm, and tilde{x} is some subset of...


Platforms: Matlab

A.I. Solver Studio is a unique pattern recognition application that deals with finding optimal solutions to classification problems and uses several powerful and proven artificial intelligence techniques including neural networks, genetic programming and genetic algorithms. No special knowledge...


Platforms: Windows

Isanaki is a free Sudoku and Wordoku Boards generator, solver and helper. The software supports 9 * 9 and 16 * 16 boards and generate boards with 6 levels of difficulty.Freeware garanteed without spyware. Features: * the software supports 9*9 and 16*16 boards * the software handles...


Platforms: Windows

OpenTaxSolver (OTS) project is a free program for calculating Tax Form entries and tax-owed or refund-due, such as Federal or State personal income taxes. An optional graphical front-end, OTS_GUI, has been added. Currently, TaxSolver has been updated for the 2005 tax-year for the following...


Platforms: *nix

malkriz is solver for the Japanese puzzle, Griddlers. malkriz project is written as a set of simple, portable C++ classes, and supports a range of GUI front-ends.. Get malkriz at SourceForge.net. Fast, secure and free downloads from the largest Open Source applications and software directory....


Platforms: *nix

nonogram is a solver of nonogram puzzles (also known as "paint by numbers" or "griddler puzzles")..


Platforms: *nix

Sudognu is a command line sudoku solver and creator. Sudognu can display the logical steps it uses to find the solution. It can print four sudokus to a pdf page and it comes with example cgi scripts for integration into www sites (see sudognu @ work below). This project is written in C and...


Platforms: *nix

Somatic project is a generic 3D puzzle solver for soma and pentomino-like puzzles. Somatic is a generic 3D puzzle solver for soma and pentomino-like puzzles. For an arbitrary set of pieces and a figure with not more than 64 cubes, it can check whether this figure can be built using these pieces...


Platforms: *nix