Commit 895c2501 authored by François Bobot's avatar François Bobot
Browse files

[Colibri] Add the value obtained

parent 79fb7b66
Pipeline #36748 passed with stages
in 4 minutes and 10 seconds
...@@ -92,10 +92,11 @@ description: "Colibri - A family of Constraint Solvers" ...@@ -92,10 +92,11 @@ description: "Colibri - A family of Constraint Solvers"
other flags such as if it is integral. It propagates other flags such as if it is integral. It propagates
this information through the formula. this information through the formula.
</p> </p>
<p> For example for the floating-point addition: <p> For example for the 64bit floating-point addition:
{% katex display %} {% katex display %}
x \oplus y = 0.1 \Rightarrow x \in [ ?;? ] x \oplus y = 0.1 \Rightarrow \\
x \in [-0.24999999999999997 ; 0.35 ]
{% endkatex %} {% endkatex %}
</p> </p>
</div> </div>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment