daleq4py released

[Justin Cappos]

Very cool work!!!

On Wed, Aug 19, 2026 at 6:21 PM Jens Dietrich via rb-general <
rb-general at lists.reproducible-builds.org> wrote:

> Hi,
>
> We have released the first version of *daleq4py*, a new tool for
> comparing Python packages built from the same sources, for example packages
> produced by tools such as *oss-rebuild* or *macaron*.
>
> Often, the resulting packages are not identical. However, many of these
> differences are benign and can be explained by variations in the build
> environment. *daleq4py* addresses this problem and, in many cases, can
> establish that packages are equivalent despite such differences.
>
> The approach is similar to *daleq* for Java packages: equivalence is
> expressed using datalog rules, and equivalence statements are backed by
> explanations constructed from recorded datalog derivations.
>
> *GitHub repository:* https://github.com/binaryeq/daleq4py/
>
> *PyPI:* https://pypi.org/project/daleq4py/
>
> *Paper*, describing the approach and an evaluation using *oss-rebuild*
> and *macaron* re-builds: https://arxiv.org/abs/2607.21888
>
> *Daleq* (similar tool for Java packages):
> https://github.com/binaryeq/daleq/
>
> The project is the result of a collaboration between *Victoria University
> of Wellington* and *Oracle Australia*.
>
> — Jens, Spencer, Tim and Behnaz
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.reproducible-builds.org/pipermail/rb-general/attachments/20260820/411df0cf/attachment.htm>