Finished the method comment on Searchable.search
Added documentation to DerivedValueConstraint
Several fixes and performance enhancements

The Sudoku example needs to be revisited to correct the CSP definition,
but the project tests clean and the fixes are significant enough to
warrant a minor version bump.