Help

Using ProB with Z3

Revision as of 08:34, 14 January 2016 by Sebastian Krings (talk | contribs) (Created page with "Category:User Manual Category:Stubs The current nightly versions of ProB can make use of [http://alloy.mit.edu/kodkod/ Z3] as an alternate way of solving constraints....")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


The current nightly versions of ProB can make use of Z3 as an alternate way of solving constraints.


How to install Z3 for ProB

What can be translated

How to use Z3 within ProB

More details

  • A paper describing the integration of ProB and Z3 has been submitted to iFM 2016.
Retrieved from "https://prob.hhu.de/w/index.php?title=Using_ProB_with_Z3&oldid=3278"