Search Results for "open solver"

GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.

Library for ion optics, plasma extraction and space charge dominated ion beam transport.

Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at...

Sudoku game with numbers, letters or colors. Board size can be from 4 to 20 (default size is 9). You can play many variants - Killer, Greater Than, Consecutive, Odd/Even, Diagonal, Samurai and their combinations, too.

This software has moved to http://www.poissonboltzmann.org/.

BioFVM is an open source diffusive transport solver for biological problems. It can solve for the diffusion of tens or hundreds of substrates on large 3-D domains. For simplicity, the code has minimal external dependencies. BioFVM was first published in: A. Ghaffarizadeh, S.H. Friedman, and P. Macklin. BioFVM: an efficient, parallelized diffusive transport solver for 3-D biological simulations.

YAFEMS (Yet Another Finite Element Method Solver) is a FEM solver for Linux and WIndows that reads a MED mesh file produced by Salome (http://www.salome-platform.org/) with certain groups created into the mesh, and with the help of an input text file (.yaf), performs a 3D or 2D plane stress or plane strain analysis and creates results in plain text format and in MED format. This way a complete analysis can be carried inside Salome, where a mesh file can be created, exported and read by...

Impact is an explicit Finite Element Program Suite which simulates dynamic impact events. It has a range of elements, contact handling and different material laws. Models can be created, solved and analyzed with the included pre- and postprocessor. Impact is based on an Explicit Time stepping algorithm. These kind of codes are used to simulate dynamic phenomena such as car crashes and similar, usually involving large deformations.

Acoustic FDTD Solver (AC2D) -- is a software to simulate acoustic wave propagation in two dimensions based on the finite-difference time-domain (FDTD) method.

An implementation of Dantzig-Wolfe decomposition built upon the GNU Linear Programming Kit. This is a command line tool for solving properly decomposed linear programs. There are several examples and some documentation to guide the use of this solver. Forked over to GitHub (see link).

ASCEND is a modelling environment and solver for large or small systems of non-linear equations, for use in engineering, thermodynamics, chemistry, physics, mathematics and biology. Solvers for both steady and dynamic (NLA & DAE) problems, are provid

Console based sudoku solver. It is a modified version of the solver included in the Ubuntu distribution of Linux, and has similar functionality to the original by Michael Kennett. New features: - You interactively can open and save boards with it. - The title of the board can be edited. - Added early contradiction check to detect if the board is unsolvable: 1 2  . | .   .  . | . . . .   .  . | 1 2  . | . . . .   .  . | .   .  . | 1 2 . -------+-------+------- 2 1  . | .   .  . | . . . .   .  . | 2 1  . | . . . .   .  . | .   .  . | 2 1 . -------+-------+------- .   .  . | .   .  . | . . . .   . 2 | .   . 1 | . . . .   . 1 | .   . 2 | ...

Kuhn-Munkres is used inside assignment problem solver application. Instance generator application creates input file for the solver. Checker application verifies the solution computed by the solver. A bash script compiles, executes these apps.

Crazy Turtle puzzle game solver utility. Other names: CRAZY TURTLE / LE JEU FOU DE LA TORTUE / NAUGHTY TURTLES / ŠAŠAVE KORNJAČE / NAGAJIVE ŽELVICE / SASAVE KORNJACE

Curious mad fan of sudoku, I've been pretty disappointed to always find programs processing all cases. For us "humans", it's unusable. That's why I've had in mind so far to create one which could help us (giving hints) if we're stumped.

CFD (computational fluid dynamics) software. Numerical 2d-solver for compressible ideal gases. Sophisticated turbulence and numerical approach which captures laminar-turbulent transition and aero-acoustic features.

The Optimized Sparse Kernel Interface (OSKI) Library provides automatically tuned sparse matrix kernels, for use by solver libraries and applications. OSKI is part of the BeBOP project on performance tuning and analysis at U.C. Berkeley. (Go Bears!)

Another SUDOKU solver written in C language. A console based program that displays step by step how to reach solution of this famous game.

The Delta code is an nonlinear aeroelastic solver written in fortran 90. At the moment only vortex lattice aerodynamics is available but the hope is for a higher fidelity aerodynamic model to be developed for use in the current code. Linux and Unix.

A simple command-line Solitary Game automatic solver.

This project looks at the development of a set of generic models (box,chamber, photo-chemical trajectory) to use with the MCM (www.mcm.leeds.ac.uk). The software provides a tailored FORTRAN interface to the CVODE solver (http://www.llnl.gov/CASC/sundials