Encode problem instances into Yices specifications.
Encode problem instances into Yices specifications.

yices_encoder.py defines a class that can take program size, set of
operators and a sequence of input-output pairs and spit out an encoding
of the problem into the language of the SMT-solver Yices.

gsz/icfp2013,gsz/icfp2013