This repository was archived by the owner on Nov 28, 2025. It is now read-only.

Description
Is this condition correct?
...
if (self.net.W_precision.get_bits() >= self.precision_rule['W_bit_stop_condition']) or \
(self.net.x_precision.get_bits() >= self.precision_rule['x_bit_stop_condition']):
...
from here: https://github.com/pulp-platform/nemo/blob/master/nemo/relaxation.py#L308
I was expecting to have > instead of >= maybe I'm wrong but it seems to process two times the last precision point.