Update copyright year
Export modelAssocs

Only thru internals though. Can come in handy for further user-level
programming.
Update year
Simplify allSat implementation, addresses #78.
Record recent changes..