jaredhanson/node-tokens — pull request #1 by quartzjer (2014-08-07 00:33:15+00:00)
Title: Minor update to link in the existing SAT encoder

Trivial :)