Using ProB with Z3: Revision history

6 June 2023

• curprev 07:3907:39, 6 June 2023‎ Joshua Schmidt talk contribs‎ 2,756 bytes +287‎ →‎More details
• curprev 07:3607:36, 6 June 2023‎ Joshua Schmidt talk contribs‎ 2,469 bytes −315‎ →‎Examples
• curprev 07:3407:34, 6 June 2023‎ Joshua Schmidt talk contribs‎ 2,784 bytes −69‎ →‎What can be translated
• curprev 07:3107:31, 6 June 2023‎ Joshua Schmidt talk contribs‎ 2,853 bytes −1,458‎ →‎How to install Z3 for ProB
• curprev 07:2407:24, 6 June 2023‎ Joshua Schmidt talk contribs‎ 4,311 bytes +144‎ →‎How to use Z3 within ProB

29 October 2020

• curprev 14:1214:12, 29 October 2020‎ Michael Leuschel talk contribs‎ 4,167 bytes +4‎ →‎How to install Z3 for ProB

27 October 2020

• curprev 14:4514:45, 27 October 2020‎ Michael Leuschel talk contribs‎ 4,163 bytes +83‎ →‎Examples
• curprev 10:3610:36, 27 October 2020‎ Michael Leuschel talk contribs‎ 4,080 bytes +24‎ →‎Examples
• curprev 10:3010:30, 27 October 2020‎ Michael Leuschel talk contribs‎ 4,056 bytes −9‎ →‎How to install Z3 for ProB

21 September 2020

• curprev 15:0915:09, 21 September 2020‎ Michael Leuschel talk contribs‎ 4,065 bytes +47‎ →‎More details
• curprev 15:0915:09, 21 September 2020‎ Michael Leuschel talk contribs‎ 4,018 bytes +121‎ →‎Examples
• curprev 15:0715:07, 21 September 2020‎ Michael Leuschel talk contribs‎ 3,897 bytes +273‎ →‎How to install Z3 for ProB

1 February 2016

• curprev 08:2108:21, 1 February 2016‎ Sebastian Krings talk contribs‎ 3,624 bytes −235‎ →‎How to install Z3 for ProB

15 January 2016

• curprev 09:5909:59, 15 January 2016‎ Sebastian Krings talk contribs‎ 3,859 bytes +206‎ No edit summary
• curprev 09:3809:38, 15 January 2016‎ Sebastian Krings talk contribs‎ 3,653 bytes +2‎ No edit summary
• curprev 09:3709:37, 15 January 2016‎ Sebastian Krings talk contribs‎ 3,651 bytes +93‎ →‎How to install Z3 for ProB
• curprev 09:3709:37, 15 January 2016‎ Sebastian Krings talk contribs‎ 3,558 bytes +2‎ →‎How to install Z3 for ProB
• curprev 09:3609:36, 15 January 2016‎ Sebastian Krings talk contribs‎ 3,556 bytes +244‎ →‎How to install Z3 for ProB

14 January 2016

• curprev 14:2814:28, 14 January 2016‎ Sebastian Krings talk contribs‎ 3,312 bytes +517‎ →‎How to install Z3 for ProB
• curprev 12:5512:55, 14 January 2016‎ Sebastian Krings talk contribs‎ 2,795 bytes +2,420‎ No edit summary
• curprev 08:3408:34, 14 January 2016‎ Sebastian Krings talk contribs‎ 375 bytes +375‎ 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...."