Invisible wrote:
> The program isn't terribly exciting; it's a predicate solver. That is,
> it attempts to solve extremely simple equations.

Will it solve simple stuff like "x + 1 = 3" in version 1.5? :)

(or does it already...?)

Post a reply to this message