Update Strategies.md

chocoteam · Mar 16, 2020 · 0a5939a · 0a5939a
1 parent 9d077c6
commit 0a5939a
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/content/en/docs/Solving/Strategies.md b/content/en/docs/Solving/Strategies.md
@@ -136,14 +136,3 @@ Most search strategies rely on :
 Note that some strategies are *dynamic* and might work more efficiently when combined with a [restart policy]({{< ref "Restarts.md" >}}).
 {{%/alert%}}
 
-
-### Making a decision greedy
-
-You can make a decision non-refutable by using `decision.setRefutable(false)`
-
-To make an entire search strategy greedy, use:
-
-```java
-Solver s = model.getSolver();
-s.setSearch(greedySearch(inputOrderLBSearch(x,y,z)));
-```