What's new
*. Powerful pattern matching facility, comparable with Mathematica's
*. A thorough code rewritten, more clear code logic.
*. More sophisticate built-in simplification (e.g. 'x+2x' will now be automatically evaluated to '3x').
*. Bugs fixed
Pre-build osX and windows binary files are provided.