Owner

dfield

1 indexed repository · View on GitHub

finite-zarankiewicz-closures
Reproducible proofs of eight exact finite Zarankiewicz numbers, including a complete DRAT/LRAT and exact SCIP/VIPR certificate for Z(10,2...

Linear Programming · 0 stars

Beginner friendly Everything

Open All

Checks of your values and exact values at Z(12,19–21) Open

Difficulty 4/5 3-5 days Newbie friendliness 38/100

dfield/finite-zarankiewicz-closures#2 · 1 comment · Opened Aug 4, 2026

A short digest of beginner-friendly GitHub issues.

Get new issues in your inbox