Projects tagged ‘solver’

A mathematical open source library written in C#/.Net, aiming to provide a self contained clean framework for symbolic algebraic and numerical / scientific computations.

(from the scilab homepage...) Scilab is a scientific software package for numerical computations providing a powerful open computing environment for engineering and scientific applications. ... [More] Scilab is an open source software. Since 1994 it has been distributed freely along with the source code via the Internet. It is currently used in educational and industrial environments around the world. Scilab is now the responsibility of the Scilab Consortium, launched in May 2003. There are currently 25 members in Scilab Consortium. [Less]

ASCEND is an interactive environment for modeling, debugging, and solving large systems of nonlinear algebraic or differential equations. Its interactive design allows users to inspect and solve ... [More] very difficult nonlinear systems. It includes plotting abilities and is scriptable. [Less]

choco: a java library for constraint satisfaction problems (CSP), constraint programming (CP) and explanation-based constraint solving (e-CP).

A complete (in the logical sense) SAT solver with non-chronological backtracking. This is a Haskell implementation of (most of) the minimal OCaml solver described in the paper SAT-MICRO: petit mais ... [More] costaud! by Sylvain Conchon, Johannes Kanig, and Stephane Lescuyer [Less]

A simple matrix and vector library. It contain basic matrix and vector operations, linear and non-linear system solvers, gauss integrator, and others

MUSoSo is a Java based Sudoku game which includes a solver & generator. As a sudoku solver it tries to simulate the way human players solve sudokus. Several selectable heuristic methods are ... [More] provided for this purpose. Brute force solving is also supported for completeness. As a sudoku generator it tries to create sudoku problems which don't require "trial and error" methods to be solved. [Less]

This is a Java implementation of my automatic Rubik's Cube solver.

Eternity 2 Puzzle solver

Creators Eden JnBaptiste Yaz Khabiri