Fix docstring
Fix typo
Merge pull request #2235 from shikil/dpll2

Fix docstring
Merge pull request #2236 from shikil/typo

Fix typo
Merge pull request #2244 from jrioux/piecewise

Fix cancel() of a Piecewise().