There is a newer version of the record available.

Published July 31, 2026 | Version v1
Software Restricted

Tree packing conjecture verification code

Description

Coded for and used within the paper "The tree packing conjecture holds for n ≤ 11". Solver, independent second solver, certificate checker (E1-E6), SAT path, and gate.

These files are no longer relevant.

Files

Restricted

The record is publicly accessible, but files are restricted. Log in to check if you have access.

Additional details

Related works

Is supplement to
Software: https://github.com/alexyaroshe/tree-packing-n11/tree/v1 (URL)

Software

Repository URL
https://github.com/alexyaroshe/tree-packing-n11