pseidel-iec

A link to the github repo is provided in the cprover.org link. Added the source code link, updated the license link, and say it is made in C++. Removed the...