Microsoft Research Community
All Tags » native input solving constraints (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.

  • Reading Z3 native input from a file and solving it

    Hi, I am facing the following problem. Given a file with Z3 constraints in native format, i want to use .NET API to to read that file in to a z3 context and obtain a satisfying model (if it exists). Using the API documentation i came up with the following code but it doesnt seems to work. Would greatly...
    Posted to Z3, Theorem Prover (Forum) by wicore on 11-21-2008
    Filed under: native input solving constraints
Page 1 of 1 (1 items)
©2009 Microsoft Corporation. All rights reserved. Terms of Use | Trademarks | Privacy Statement | Feedback