Sokoban solver written in Ada
Mixed Integer Linear Programming (MILP) solver
Automatic solver of a minesweeper game
Generate and solve Travelling Salesman Problem tasks
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
Fills a rectangle using given tetris shapes
Provides useful mathematical tools which make your work much easier.
DisChoco: Distributed Constraint Reasoning Solver
JBernstein: Exploration techniques for non-linear constraint checking
Solve linear programming problems
An implementation of Dantzig-Wolfe decomposition built upon GLPK
Zero Sum Game Solver JavaScript Library
Automatic Solver for Railway-related conflicts
PHP class library for simplex method
Zero Sum Game Solver Java Library
Genetic algorithms (GA) in C++