diff tools/parse.scala @ 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 5cf8de487ed6
children
line wrap: on
line diff