Z3 Theorem Prover test

Files used as examples for the "ROMPIENDO VERIFICACIONES DE CLAVE CON THEOREM PROVERS" post on securityartwork.es

To compile the binary.go as a windows executable, use the next command:

GOOS=windows GOARCH=386 go build