Synthetic Division Problem Solver

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.

Frontline Systems developed the original Solver for Excel on both Macintosh and Windows. For many years, we've offered Solver upgrades for Windows users, that have gotten more and more powerful over time -- but we haven't been active on the Mac. We're now applying more development resources to...

This script allows you to run a linear equations solver using eval and built-in complex numbers.One could add one more line to insert '*' where needed, i.e. "100x" -> "100*x", add some input validation, in particular check whether the equation is actually linear and not quadratic or cubic, and...


Platforms: Windows, Mac, *nix, Python, BSD Solaris

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

The Jonker-Volgenant algorithm is much faster than the famous Hungarian algorithm for the Linear Assignment Problem (LAP). This Matlab implementation is modified from the original C++ code made by Roy Jonker, one of the inventors of the algorithm. It is about 10 times faster than the munkres code...


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

Solves the mixed integer linear problem:min c'*xs.t. A*x


Platforms: Matlab

Easy to use Clebsch-Gordan coefficient solver for adding two angular momentums in Quantum Mechanics. This tool is created for my Quantum Mechanics II course offered by Dr. Thompson in Summer of 2007.[Instruction]Execute "GUI.m" script by invoking "GUI"


Platforms: Matlab

This is a program that generates a test problem for linear optimization with a sparse matrix. The test problem is of the kindmin c'*xs.t. Aeq*x=beq lb


Platforms: Matlab

Inspired by a discussion with my father on how to solve sudokus, I decided to implement a GUI for MATLAB and play around with automatic solving. The result can be found here: You can use the GUI just for playing sudoku and having an online check or you may turn on the solving aids: Display...


Platforms: Matlab

This is a continuation of the FreeCell Java Solver, because I was not able to access my original account anymore (likely due to sourceforge glitches), and I need to make updates to the program.


Platforms: Mac

Sudoku Solver is a small graphical application for solving any given Sudoku puzzle, almost instantaneously. It also provides the solution (the steps required to solve the puzzle). It is written in python.


Platforms: *nix

Rush Hour Puzzle Solver is a small C++ program that reads a Rush Hour board from a text file and produces a nice PostScript file that shows the shortest solution.


Platforms: *nix

UMS allows students not only to solve problems simply by entering the arbitrary problem they are interested in taken from any text-book or created on the spur of the moment, but to obtain a COMPLETE SOLUTION of that problem together with a complete presentation of the WHOLE CALCULATION PROCESS,...

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

RECORDS is a FREE, multi-user, problem oriented, database and word processing report writer, optimized for data entry using voice recognition, and designed for medical care. Enter and maintain clients and their demographics, create new or update past problems of a client, edit multiple...


Platforms: Windows

Math Solver is a scientific calculator. Math Solver includes a step-by-step solution for any mathematical expression, to make work/homework more fun and easy. Also includes a Simple Mode, for smaller size on desktop. Features: - Scientific calculations - Paranthesis compatible - Graph...


Platforms: Windows

Math Solver II is a scientific calculator. Math Solver II includes a step-by-step solution for any mathematical expression, to make work/homework more fun and easy. Also includes a Simple Mode, for smaller size on desktop. This new version also includes many new an interesting features, like...


Platforms: Windows

Records is a FREE, multi-user, problem oriented, word processor and database, designed for medical care. It is optimized for data entry using a speech recognition system, like Dragon. Enter clients and their demographics, multiple problems for a client, sectioned descriptions of each problem, and...


Platforms: Windows

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


Platforms: Windows, *nix