diff --git a/index.html b/index.html index 9e264d4c8..e1a1ec19b 100644 --- a/index.html +++ b/index.html @@ -22,7 +22,7 @@

Gecode

level of efficiency as the variables that come predefined with Gecode.
comprehensive
-
Gecode has a comprehensive set of features: constraints over integers, Booleans, sets, and floats (it implements more than 70 constraints from the Global Constraint Catalog and many more on top); C++ modeling layer; advanced branching heuristics (accumulated failure count, activity); many search engines (parallel, interactive graphical, restarts); automatic symmetry breaking (LDSB); no-goods from restarts; MiniZinc support; and many more. +
Gecode has a comprehensive set of features: constraints over integers, Booleans, sets, and floats (it implements more than 70 constraints from the Global Constraint Catalog and many more on top); C++ modeling layer; advanced branching heuristics (accumulated failure count, activity); many search engines (parallel, interactive graphical, restarts); automatic symmetry breaking (LDSB); no-goods from restarts; MiniZinc support; and many more.
efficient
Gecode offers excellent performance with respect to both runtime and