https://www.cs.kent.ac.uk/people/staff/djb/uci-analyser/ - View it on GitHub