Resolve "Incompleteness on integer reasoning with intervals"

François Bobotrequested to merge
19-incompleteness-on-integer-reasoning-with-intervals into master

Closes #19 (closed)

Merge request reports