Solving computer science's second-hardest problem - View it on GitHub