I am developing a computer program which needs to solve a constrained, parametric optimisation, something like :<br><br>meaning to calculate min(x) such as y = b*x+a and x &lt;= c and x &gt;=0<br>where x and y are variables, a, b, c are constant but unknown parameters.<br>

Since the problem is calculated at runtime from my computer program and
changes every time, I think I need to solve it with some form of
constrained programming with a symbolic result.<br><br>I could see something like this in mathematica :<br>

<br>
<a href="http://reference.wolfram.com/mathematica/ref/Minimize.html#61381153" target="_blank">http://reference.wolfram.com/mathematica/ref/Minimize.html#61381153</a><br><br>but I would like to keep my program free and open source, so I would like to use a free library for this...<br>

<br>could you please tell me if I can do this using ginac?<br>thank you very much in advance!<br><font color="#888888">Luca<br></font>