Integer programming proofs for Chvátal's conjecture over finite ground sets
Primary LanguageCoq
No issues in this repository yet.