deploy: 76704af

_sources/intro.rst.txt

@@ -32,7 +32,7 @@ The API of Ibex can be broken into three layers:
 
 - An extended (symbolic-numeric) interval calculator
 - A contractor programming library
-- A system solver / global optimizer (supplied as plugins since Release 2.2)
+- A system solver / global optimizer
 
 Each usage corresponds to a different layer and each layer is built on top of the previous one.
 
@@ -110,6 +110,6 @@ Ibex contains a variety of built-in operators (HC4, Shaving, ACID, X-newton, q-i
 System solving and global optimization
 --------------------------------------
 
-Finally, Ibex proposes various plugins. In particular, the IbexSolve and IbexOpt plugins are dedicated to system solving and optimization, and come both
+Finally, Ibex supplies two executables: IbexSolve and IbexOpt whihch are dedicated to system solving and optimization, and come both
 with a default black-box solver and global optimizer for immediate usage. See the :ref:`IbexSolve <solver>` and :ref:`IbexOpt <optim>` documentations.
 

intro.html

@@ -66,7 +66,7 @@ <h2>The API<a class="headerlink" href="#the-api" title="Permalink to this headli
 <ul class="simple">
 <li><p>An extended (symbolic-numeric) interval calculator</p></li>
 <li><p>A contractor programming library</p></li>
-<li><p>A system solver / global optimizer (supplied as plugins since Release 2.2)</p></li>
+<li><p>A system solver / global optimizer</p></li>
 </ul>
 <p>Each usage corresponds to a different layer and each layer is built on top of the previous one.</p>
 <p>Ibex does not include low-level interval arithmetic but uses a third library (Ibex is currently
@@ -122,7 +122,7 @@ <h2>Contractor programming<a class="headerlink" href="#contractor-programming" t
 </div>
 <div class="section" id="system-solving-and-global-optimization">
 <h2>System solving and global optimization<a class="headerlink" href="#system-solving-and-global-optimization" title="Permalink to this headline">¶</a></h2>
-<p>Finally, Ibex proposes various plugins. In particular, the IbexSolve and IbexOpt plugins are dedicated to system solving and optimization, and come both
+<p>Finally, Ibex supplies two executables: IbexSolve and IbexOpt whihch are dedicated to system solving and optimization, and come both
 with a default black-box solver and global optimizer for immediate usage. See the <a class="reference internal" href="solver.html#solver"><span class="std std-ref">IbexSolve</span></a> and <a class="reference internal" href="optim.html#optim"><span class="std std-ref">IbexOpt</span></a> documentations.</p>
 </div>
 </div>