Underconstrained symbolic execution for cryptography verification - View it on GitHub