Solver

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

CAMFR (CAvity Modelling FRamework) is a fast, flexible, friendly full-vectorial Maxwell solver. Although it can tackle general electromagnetic problems, its main focus is on applications in the field of photonics.

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.


Platforms: Windows, Mac, BSD, Solaris, Linux

yades - 'yet another differential equation solver'. This Java application solves ordinary differential equations (ODE) numerically and displays the results as tables, graphs, direction fields or vector fields.


Platforms: Windows, Mac, Linux

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


Platforms: Windows, Mac, Linux

Included is a readme word document that fully describes how to run the graphical user interface, describes the outputs etc..In essence this GUI can be used for calculating resonance parameters for the quasi-TEM modes of cylindrical re-entrant structures. Additionally, electric and magnetic fields...


Platforms: Matlab

SolverNxN is designed to solve many small linear system in a vectorized way in order to improve time perfomaces. It is in practice a faster alternative to the matlab commands: for k = 1:number_of_systemsx=Ab;end The Matlab looping speed can visibly slow down this process so most of the time is...


Platforms: Matlab

The program is an ordinary m-filethe matrix g(*,*) can be used to punch in the metric values in terms of symbolic variables x1,x2,x3,x4(co-ordinate axes)The program first computes the Affine connection(Christoffel symbols) stored in Gamma matricesThese are then used to construct and solvegeodesic...


Platforms: Matlab

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

This is programm for automatic solving Japan Crossword (also known as nonogram, griddlers or paint by numbers).


Platforms: Windows, Mac, Linux

QUADPROG2 - Convex Quadratic Programming SolverFeaturing the SOLVOPT freeware optimizerNew for version 1.1:* Significant speed improvement* Geometric Preconditioning* Improved Error CheckingUSAGE:[x,v] = quadprog2(H,f,A,b)[x,v] = quadprog2(H,f,A,b,guess)[x,v,opt] = ...Minimizes the function v =...


Platforms: Matlab

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

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

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

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

C-Library & Matlab Toolbox implement a numerical solution of Poisson equationdiv(e*grad(u))=fin Cartesizan 3D coordinates with respect to steeply varying dielectrical permittivity e. Library uses regular rectangular grid with mixed boundary conditions, FVM-based equation discretization and...


Platforms: Matlab

Classic game solved with MinMax algorithm (full solution tree) and simple Heuristics. Specially for learning and teaching computer AI


Platforms: Windows, Mac, Linux

ZSokoban: An efficient Sokoban engine implemented in C# including levels, levelsets, solver, utilities and full GUI player.


Platforms: Windows, Mac, Linux

L-BFGS-B is a collection of Fortran 77 routines for solving nonlinear optimization problems with bound constraints on the variables. One of the key features of the nonlinear solver is that the Hessian is not needed. I've designed an interface to the L-BFGS-B solver so that it can be called like...


Platforms: Matlab

A Lambert-orbital boundary value problem can be stated as"Find the orbit/trajectory of a spacecraft that flies from position [r1] to [r2], taking a time [tf] and making [m] complete orbits before arriving at [r2]. "The solution to each Lambert-problem is NOT unique; one can travel to [r2] via the...


Platforms: Matlab