Microsoft Research Community
All Tags » z3 model interpretation (RSS)

Browse Forum Posts by Tags

Showing related tags and posts for the Z3, Theorem Prover forum. See all tags in the site
Sorry, but there are no more tags available to filter with.

  • Problem interpreting Z3 model output

    Hi, I am unable to infer the value of parameters from the Z3 model i obtain. E.g. for the following model, what would be the values of parameters "#TestProject1.TestClassA+My.x" and "#TestProject1.TestClassA+My.l" partitions: *0 -> true *1 -> false *2 {$0} -> 4:int *3 {$1...
    Posted to Z3, Theorem Prover (Forum) by wicore on 11-20-2008
    Filed under: z3 model interpretation
Page 1 of 1 (1 items)
©2009 Microsoft Corporation. All rights reserved. Terms of Use | Trademarks | Privacy Statement | Feedback