optimize exactly_eq_propagator

ROADMAP.md

@@ -13,18 +13,17 @@
 - review CSPlib for additional problem
 
 # Engine
-- choice points pruning
-- backtrackable propagator __state__
+- optimizer: implement choice points pruning
+- implement a backtrackable propagator __state__
 - implement decision variables
 - disable offsets when not useful
 - entailment date
+- allow custom propagators
 
 # Numba
 - use prange with parallel=True
 - test ufunc
 - test vectorize
 
 # Docs
-- installation : put links to examples (and not CSPLIB)
-- improve usage of rst
 - document environment variables

nucs/propagators/exactly_eq_propagator.py

@@ -37,6 +37,6 @@ def compute_domains_exactly_eq(domains: NDArray, parameters: NDArray) -> int:
     if ok_count_min == c:  # we cannot have more domains equal to c
         domains[(domains[:, MIN] == a) & (domains[:, MAX] > a), MIN] = a + 1
         domains[(domains[:, MIN] < a) & (domains[:, MAX] == a), MAX] = a - 1
-    if ok_count_max == c:  # we cannot have more domains different from c
+    elif ok_count_max == c:  # we cannot have more domains different from c
         domains[(domains[:, MIN] <= a) & (a <= domains[:, MAX]), :] = a
     return PROP_CONSISTENCY