Foreval is parser , compiler , evaluator of mathematical expressions
ForevalZ - compiler of mathematical expressions with complex numbers
Linear constraint feasibility check and get program.
C++ BigInt class enables to work with arbitrary precision integers
The solution to all your problems
An implementation of Dantzig-Wolfe decomposition built upon GLPK
combinational logic functions minimization