DreamCoder software and data