daleq4py released

[Jens Dietrich]

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/20260819/b17020a6/attachment.htm>