This is pretty cool. Would have been neat to see some descriptive text about encoding to integer programming problem.