mirror of
https://github.com/ekmett/propagators.git
synced 2024-09-11 05:15:41 +03:00
Merge pull request #8 from gwils/relax-interval-upper-bound
Relax upper bound on intervals
This commit is contained in:
commit
6de416c68d