[YICES-HELP] Re: Getting the full model from yices
lshan at eecs.berkeley.edu
Wed Jul 8 13:33:40 PDT 2009
Resending after the break and hope for some responses.
On Jul 2, 2009, at 4:50 PM, Lexin Shan wrote:
> Hello the yices community,
> It seems like the -e option doesn't give me the full model (value
> assignment to every single variable in the input file). The
> variables it tends to omit are those that are easily inferred by
> looking at the input. To make my life easier, is it possible to
> retrieve the full model?
> Thank you
More information about the YICES-HELP