Advertisement
Solving Constraint Integer Programs
Solving Constraint Integer Programs is a framework for constraint integer programming....
constant programming framework integer integer programming constant integer
UPPAAL TIGA
UPPAAL TIGA is an extension of UPPAAL and it implements the first efficient on-the-fly algorithm for solving games....
UPPAAL solving solving games command line verifier on-the-fly algorithm
AutoAbacus
AutoAbacus project is a powerful equation solving library that finds solutions to equation sets with a snap....
equation solving Equation Library equation solving equation sets