just expose the existing SAT encoder at the library level
bump the package version
Merge pull request #1 from quartzjer/master

Minor update to link in the existing SAT encoder