https://en.wikipedia.org/wiki/Z3_(computer)(http://www.autoadmit.com/thread.php?thread_id=5541476&forum_id=2...id#47751294)