SourceCode

Compilation

gcc -O2 -o verify verify.c
gcc -O2 -o cyc cyc.c
gcc -O2 -DLOGN=32 -o tailtest2 tailtest2.c
python3 families.py

Programs

• verify.c — Inductive verification (reported: \(k=36\), 157 s)
• cyc.c — Exhaustive short-cycle search
• tailtest2.c — Stopping-time histogram
• families.py — Union-Find family clustering

Licence

Released by Ayazelrico for academic and research use. Official site: collatz-computational-research.ayazelrico.com