Relate the new sets to ConstraintSolver.jl.

Author: dourouc05

docs/constraintsolver.md

@@ -0,0 +1,8 @@
+All the constraints that are currently supported by [ConstraintSolver.jl](https://github.com/Wikunia/ConstraintSolver.jl), up-to-date with v0.6.5: 
+
+- `AllDifferentSetInternal`: `AllDifferent`
+- `TableSetInternal`: 
+- `NotEqualTo`: `DifferentFrom`
+- `Strictly`: `Strictly`
+- `ReifiedSet`: `Reified`
+- `BoolSet`: not yet (Boolean functions)