Using ProB with Z3: Difference between revisions - ProB Documentation

Help

Using ProB with Z3: Difference between revisions

Newer edit →
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...."
(No difference)

Revision as of 08:34, 14 January 2016


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"