Code and exact certificates accompanying manuscript V1 of Frankl-complete sunflowers and extremal families of four-sets, by Mingchang Liu.
Download frankl-complete-four-sets-V1.zip and follow the README. The archive includes all verification source, exact certificate data, citation metadata and the MIT license.
This release contains the readability and documentation revisions following manuscript review. The certificate data and executable C++ tokens are unchanged from the earlier snapshot tagged v1, which remains available for reference. The full verification and individual checks are described in the README.