Constraint programming is a powerful technique which has made greate strides over the past 10 years. One of the classic implementations is CLP(R) which can solve simultaneous equations/relations in the Real domain and solve general constraint problems in the tree domain (symbols and terms).
I have just built CLP(R) from the distribution sources using GCC, EMX and the makefile for OS/2 supplied in the distribution. It is simple to build and works great on OS/2.
The distribution is freely available for personal and experimental use, from the author: Joxan Jaffar, This email address is being protected from spambots. You need JavaScript enabled to view it.
Url: http://www.magma.ca/~bourassa
Source: This email address is being protected from spambots. You need JavaScript enabled to view it.