Я пытаюсь доказать следующее с помощью Z3 SMT Solver: ((x*x) + x) = ((~x * ~x) + ~x).Это правильно...

Я нашел спутниковый решатель в http://code.google.com/p/aima-java/ Я попробовал следующий код,...