Popular repositories Loading

1. ConcertMasterHero ConcertMasterHero Public

   4 1

2. 07.21.2012 07.21.2012 Public

   Forked from greylockhackfest/07.21.2012

   2

3. finite-zarankiewicz-closures finite-zarankiewicz-closures Public

   Reproducible proofs of eight exact finite Zarankiewicz numbers, including a complete DRAT/LRAT and exact SCIP/VIPR certificate for Z(10,23,3,3)=112, plus Z(13,23,3,3)≤144.

   Linear Programming 1 1

4. local_obstruction_certificates_for_r55_extension local_obstruction_certificates_for_r55_extension Public

   A self-contained, replayable two-instance local obstruction certificate packet for the one-point extension defect of two named rows in the Ramsey–McKay corpus of known R(5, 5, 42) graphs.

   Python