minor revisions

docs/src/constraints/constraint_commons.md

@@ -60,7 +60,7 @@ at_end
 
 ## Extensions
 
-We extended some operations for `Nothing` and `Symbol`.
+We extend some operations for `Nothing` and `Symbol`.
 
 ```@docs; canonical=false
 symcon
@@ -89,7 +89,7 @@ consisempty
 
 ## Sampling
 
-During our constraint learning processes, we use sampling to efficiently make partial exploration of search spaces. Follows some sampling utilities.
+During our constraint learning processes, we use sampling to efficiently make partial exploration of search spaces. The following are some examples of sampling utilities.
 
 ```@docs; canonical=false
 oversample
@@ -112,18 +112,18 @@ We need to compute the difference between extrema of various kind of collections
 δ_extrema
 ```
 
+### Performances
+
 ```@raw html
 <div style="display: flex; justify-content: space-between;">
   <img src="https://github.com/JuliaConstraints/Benchmarks/blob/main/ConstraintCommons/visuals/bench_evolution_extrema.png?raw=true" alt="Bench Evolution" style="width:48%;"/>
   <img src="https://github.com/JuliaConstraints/Benchmarks/blob/main/ConstraintCommons/visuals/chair_evolution_extrema.png?raw=true" alt="Chair Evolution" style="width:48%;"/>
 </div>
 ```
 
-### Performances
-
 ## Dictionaries
 
-We provide the everuseful `incsert!` function for dictionaries.
+We provide the ever-useful `incsert!` function for dictionaries.
 
 ```@docs; canonical=false
 incsert!
@@ -136,4 +136,5 @@ incsert!
   <img src="https://github.com/JuliaConstraints/Benchmarks/blob/main/ConstraintCommons/visuals/bench_evolution_dictionaries.png?raw=true" alt="Bench Evolution" style="width:48%;"/>
   <img src="https://github.com/JuliaConstraints/Benchmarks/blob/main/ConstraintCommons/visuals/chair_evolution_dictionaries.png?raw=true" alt="Chair Evolution" style="width:48%;"/>
 </div>
-```
+```
+

docs/src/constraints/generic_constraints.md

@@ -14,7 +14,7 @@ Note that the *intention* constraint is not directly available through the JC-AP
 
 We provide a straightforward example through the `:dist_different` constraint on how to define and add such a constraint in the `USUAL_CONSTRAINTS` collection.
 
-Higher level modeling language such as `JuMP` should provide a `Intention` interface.
+Higher level modeling languages such as `JuMP` should provide a `Intention` interface.
 
 ### Defining an intention constraint in JC-API
 
@@ -99,7 +99,7 @@ xcsp_intension
 
 ## Extension Constraints
 
-These are constraints that are defined by explicitly listing all the tuples of values that satisfy the constraint. They are called extensional because they are defined by the set of values they allow. For example, a binary constraint that specifies that a variable X must be either 1 or 2 and a variable Y must be either 3 or 4 could be defined extensionally by the set of tuples {(1,3), (1,4), (2,3), (2,4)}.
+These are constraints that are defined by explicitly listing all the tuples of values that satisfy the constraint. They are called extensional because they are defined by the set of values they allow. For example, a binary constraint that specifies that a variable X must be either 1 or 2 and a variable Y must be either 3 or 4 could be defined extensionally by the set of tuples `{(1,3), (1,4), (2,3), (2,4)}`.
 
 These two types of constraints provide a flexible way to define complex relationships between variables in constraint programming.
 

docs/src/constraints/variables_and_domains.md

@@ -69,7 +69,7 @@ MOI.add_constraint(optimizer, v4, CBLS.DiscreteSet([1, 42, 3.14]))
 
 ### `RangeDomain`
 
-A range domain allows for minimal storage and more efficient operation on discrete sets defined as `Range` in Julia. It is not recommended for dynamic domains (it will be replaced with `SetDomain` as soon non-extremal element is removed).
+A range domain allows for minimal storage and more efficient operation on discrete sets defined as `Range` in Julia. It is not recommended for dynamic domains (it will be replaced with `SetDomain` as soon as a non-extremal element is removed).
 
 ::: code-group