just expose the existing SAT encoder at the library level
bump the package version