Weird sort algorithm: verification using KLEE

... that is popular today.

I once proved its correctness using KLEE, in 2018.


Please drop me email about bug(s) and/or suggestion(s): my emails. List of my other blog posts.