[YICES-HELP] Re: models as an expression
bruno at csl.sri.com
Thu Aug 9 09:43:26 PDT 2007
Ali Ebnenasir wrote:
> I am using Yices for some program synthesis project and I need to represent all models in a satisfiable context as a Yices expression. This may be too much to ask in terms of computational complexity, but is there a built-in function in the Yices API that does so?
> Ali Ebnenasir
There is no support for this in the API. That's also unlikely to
be implemented in the future, because of the cost.
More information about the YICES-HELP