Automatic Equation and Inequation evaluation.

[Carlos]

I'm interested in this kind of functionalities does D have 
something on this ?

I thought about something like a "eval" function that would use 
specified algorithms.
something likes this
import std.stdio, std.math, atd.eval;

eval(Real a+b+c^^x=56){
algor.brute;
writeln(Real, " ", Positive value(;
}