Mercurial > repos > icfp2013
view data/train/QwhG7ZpaVsfXiLRvbJfIfxl8.json @ 58:c50f0fb9a717
solver uses allWithMaxSize if no ops provided.
author | William Morgan <bill@mrgn.org> |
---|---|
date | Sun, 11 Aug 2013 14:24:41 -0700 |
parents | 9d5c3b078c78 |
children |
line wrap: on
line source
{ "id": "QwhG7ZpaVsfXiLRvbJfIfxl8", "size": 15, "operators": [ "and", "if0", "shl1", "shr16", "tfold" ], "challenge": "(lambda (x_18985) (fold x_18985 0 (lambda (x_18985 x_18986) (and (if0 (shl1 (shr16 (shl1 (shl1 x_18986)))) x_18985 x_18986) 1))))" }