Search Results for "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.

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

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

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.

The project lives on GitHub - please see: https://github.com/DetlevCM/chemical-kinetics-solver

DeconvDemo is a Qt & opencv based image deconvolution/ deblur software which is including the spatial and frequency domain solver. image deconvolution / deblur software with non-blind deconvolution algorithm New: Add pregressive non-blined deconvolution Add blind kernel estimation Implemented mehtod: METHOD_WIENER, METHOD_TIKHONOV, METHOD_LUCY_RICHARDSON, METHOD_CONJUGATE_GRADIENT, METHOD_SPARSE_PRIOR, METHOD_GAUSSIAN_PRIOR, METHOD_NAIVE_EDGE_ENHANCEMENT, METHOD_CONVOLUTION, METHOD_PROGRESSIVE, METHOD_BLIND_KERNEL Improving: sparse prior blind deconvolution. ...

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

This program solves sudoku grids, using human techniques and brute force. It is written in c++ using Qt.

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.

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.