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
DisChoco: Distributed Constraint Reasoning Solver
JBernstein: Exploration techniques for non-linear constraint checking
Zero Sum Game Solver JavaScript Library
Zero Sum Game Solver Java Library