A growing collection of Discrete Combinatorial Problems, with hand-written and autogenerated models. Multiple instances, frameworks and evaluation results are included.