Select a tag to browse associated projects and drill deeper into the tag cloud.

*
Analyzed 8 months ago
*

(from the scilab homepage...)
Scilab is a scientific software package for numerical computations providing a powerful open computing environment for engineering and scientific applications.
Scilab is an open source software. Since 1994 it has been distributed freely along with the source code

Licenses:
No declared licenses

*
Analyzed 7 months ago
*

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 very difficult nonlinear systems. It includes plotting abilities and is scriptable.

*
Analyzed 1 day ago
*

OptaPlanner optimizes business resource usage. Every organization faces planning problems: provide products or services with a limited set of constrained resources (employees, assets, time and money). OptaPlanner optimizes such planning to do more business with less resources.
OptaPlanner is a

Licenses:
apache_2

*
Analyzed 8 months ago
*

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

Mostly written in language not available

Licenses:
bsd

Licenses:
BSD-3-Clause

M

*No analysis available*

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 provided for this purpose. Brute force solving is also supported for completeness.
As a sudoku

Mostly written in language not available

Licenses:
gpl

S

*No analysis available*

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
costaud! by Sylvain Conchon, Johannes Kanig, and Stephane Lescuyer

Mostly written in language not available

Licenses:
lgpl

S

*
Analyzed 27 minutes ago
*

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