A Muffin-Theorem Generator. - Guangqi Cui; John P. Dickerson; Naveen Durvasula; William Gasarch; Erik Metz; Jacob Prinz; Naveen Raman 001; Daniel Smolyak; Sung Hyun Yoo (FUN, 2018)