Lines Matching refs:with
6 % in compliance with the License. You may obtain a copy of the License
24 eplex, loaded with \verb'lib(eplex)'. The previous \verb'lib(eplex)', which
25 loads eplex with the range bounds keeper and the IC variant have now been
40 are stored with the external solver state.
49 programming, where eplex is being used with another {\eclipse} solver, any
55 The main user visible differences with the non-standalone eplex are:
90 One potential problem is that with the non-standalone eplex, the bound
132 bounds in the solver changes). To allow for more compatibility with the
162 required. The older predicates with the priority argument are still
169 changed. Also, with standalone eplex there may be more variables in the