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

The knapsack problem or rucksack problem is a problem in combinatorial optimization: Given a set of items, each with a weight and a value, determine the count of each item to include in a collection so that the total weight is less than or equal to a given limit and the total value is as large as...


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

Using ODE45 solver read from a data.mat file the accelerometer and gyroscope(body) and solve


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

A recursive version of the fast solver to provide more tweak handles for those wish to push the 3-minute limits


Platforms: Matlab

This is an inhanced version for Sudoku(Solver) which can be used to sovle 16*16 puzzles.Ideas of the program is the same as Sudoku(Solver).the problem is solved through 2 stepsstep1: with SudokuMethod1 in each square, list all the possible numbers if there is only 1 possible numbers, this is the...


Platforms: Matlab

This Sudoku Solver, shown in Figure 1, has been written by www.RaceSoft.co.uk. It is free to download, install and use - entirely at your own risk. RaceSoft.co.uk accepts no responsibility for any loss of data or damage to the system on which this application is run. It is an offence to...


Platforms: Mac

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,...

Removes traces of Internet activity and every-day computer use. Potential privacy threats removed include cookies, temporary Internet files, typed URLs and more. Privacy Solver gives you the choice of both automatic and manual protection capabilities. You can even set advanced protection rules to...


Platforms: Windows