moved
fixed bug with MultipleConditionedExpression and affectedvariables in conditions
better usage of MultipleConditionedExpression during solve and replace
activated initial and repeat conditions, workaround for constant facts
fix problem with solver and ==, >=, <=
fixed nasty bug with prolog solution, removed some layers of nasty workarounds :p
slightly better version of minimize (at least only works on a single variable)
better handling of never entering a while loop
formatting + fixed de morgan rules in OR conditions
postincrement fixed (needed to clone the initial value to protect from postincrement side effects)
fixed block and linear coupling tests, postincrement still wrong, added initial value calculation
now parser is used from static methods, using a...
first version of a symbolic test
back suffix not needed, so removed! yay!
back suffix :-)
library update (not yey tuprolog, it is not in ...
some more rational
rationals
fixed (as in "no more unstable") nestedloops
partially fixed factorial, now green, but would...
recursion test works!!!
intermediary commit, much much better handling ...
first part of function call placeholder
still some way to go, but many tests are fixed :-)
fixed subtle placeholder binding bug
format and unary minus in parsing
added symbolic simplifier test
added unit tests, infix writes rationals
fix npe in single recursion (and others)
some warning fix