My Personal KLEE repository for M.Sc. Computing Science individual project at Imperial College London