https://pypi.org/project/opreof/ Recent updates to the Python Package Index for opreof en https://pypi.org/project/opreof/0.1.0/ Bit-exact machine-integer equivalence proving by rewriting, equality saturation, and exhaustive solving Sun, 27 Sep 2026 17:50:39 GMT