Martin seems to be using the Rebrickable database of LEGO's as a motivating example throughout this optimization series: https://rebrickable.com/downloads/