[YICES-HELP] Getting the full model from yices

Evgeni Kornikhin kornevgen at gmail.com
Fri Jul 3 01:22:29 PDT 2009

Try to add
(assert (= x x))
for each variable `x'


2009/7/3 Lexin Shan <lshan at eecs.berkeley.edu>:
> 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
> Lexin

More information about the YICES-HELP mailing list