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