Symbolic execution for IEC 61131 PLCs using F# and Z3 - View it on GitHub