src/main/scala/leon/synthesis/rules/StringRender.scala · 462988122d23127d14c9dc058b1db4501d876e46 · LARA / inox

9 years ago

Added synthesis template for boolean. · 46298812

Mikaël Mayer authored 9 years ago

Created the template generators.
Conversions from problems given as examples to a problem for StringSolver
Added a file for dealing with multiple input variables.

46298812

History

Added synthesis template for boolean.

Mikaël Mayer authored 9 years ago

Created the template generators.
Conversions from problems given as examples to a problem for StringSolver
Added a file for dealing with multiple input variables.