Minor update to link in the existing SAT encoder

Trivial :)