ECLiPSe Constraint Logic Programming System
Mixed Integer Linear Programming (MILP) solver.
Generate and solve Travelling Salesman Problem tasks
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
Fills a rectangle using given tetris shapes
gdeptrace dependancy solver correct for pkg or make deps
JBernstein: Exploration techniques for non-linear constraint checking
The easiest C++ way to deal with constraints !
Zero Sum Game Solver JavaScript Library
Zero Sum Game Solver Java Library