How to build a Hamiltonian path finder within PyGLPK using mixed integer programming. This is much more high level and brief than the SAT example, appropriate for those that find excessive wordiness annoying.