Using ProB with KODKOD: Revision history

27 January 2021

• curprev 16:3716:37, 27 January 2021‎ Michael Leuschel talk contribs‎ 4,506 bytes −12‎ No edit summary

26 July 2017

• curprev 14:4014:40, 26 July 2017‎ Michael Leuschel talk contribs‎ 4,518 bytes +5‎ No edit summary

6 July 2017

• curprev 09:1609:16, 6 July 2017‎ Michael Leuschel talk contribs‎ 4,513 bytes 0‎ →‎More details
• curprev 09:1609:16, 6 July 2017‎ Michael Leuschel talk contribs‎ 4,513 bytes +143‎ →‎More details
• curprev 09:1109:11, 6 July 2017‎ Michael Leuschel talk contribs‎ 4,370 bytes +77‎ →‎More details

6 October 2016

• curprev 10:5210:52, 6 October 2016‎ Michael Leuschel talk contribs‎ 4,293 bytes +187‎ →‎More Preferences
• curprev 10:5110:51, 6 October 2016‎ Michael Leuschel talk contribs‎ 4,106 bytes +148‎ →‎SAT solver
• curprev 10:4910:49, 6 October 2016‎ Michael Leuschel talk contribs‎ 3,958 bytes +862‎ →‎SAT solver

4 October 2016

• curprev 14:5914:59, 4 October 2016‎ Michael Leuschel talk contribs‎ 3,096 bytes +73‎ →‎SAT solver
• curprev 14:5614:56, 4 October 2016‎ Michael Leuschel talk contribs‎ 3,023 bytes +1‎ →‎SAT solver
• curprev 14:5214:52, 4 October 2016‎ Michael Leuschel talk contribs‎ 3,022 bytes +364‎ →‎SAT solver

25 June 2015

• curprev 15:0115:01, 25 June 2015‎ Michael Leuschel talk contribs‎ 2,658 bytes +81‎ →‎When is the Kokod translation used

25 January 2014

• curprev 07:1707:17, 25 January 2014‎ Michael Leuschel talk contribs‎ 2,577 bytes +31‎ No edit summary
• curprev 06:4206:42, 25 January 2014‎ Michael Leuschel talk contribs‎ 2,546 bytes +285‎ No edit summary

27 November 2012

• curprev 10:4310:43, 27 November 2012‎ Michael Leuschel talk contribs‎ 2,261 bytes +222‎ →‎How to enable Kodkod

31 October 2012

• curprev 13:5113:51, 31 October 2012‎ Daniel Plagge talk contribs‎ 2,039 bytes +37‎ →‎When is the Kokod translation used
• curprev 13:5013:50, 31 October 2012‎ Daniel Plagge talk contribs‎ 2,002 bytes +723‎ →‎What can be translated
• curprev 12:3312:33, 31 October 2012‎ Michael Leuschel talk contribs‎ 1,279 bytes +42‎ →‎When is the Kokod translation used
• curprev 12:3112:31, 31 October 2012‎ Michael Leuschel talk contribs‎ 1,237 bytes +131‎ →‎What can be translated
• curprev 12:2912:29, 31 October 2012‎ Michael Leuschel talk contribs‎ 1,106 bytes +100‎ →‎How to enable Kodkod
• curprev 12:2812:28, 31 October 2012‎ Michael Leuschel talk contribs‎ 1,006 bytes +147‎ →‎When is the Kokod translation used
• curprev 12:2612:26, 31 October 2012‎ Michael Leuschel talk contribs‎ 859 bytes +202‎ No edit summary
• curprev 12:2312:23, 31 October 2012‎ Michael Leuschel talk contribs‎ 657 bytes +657‎ Created page with 'Category:User Manual Category:Stubs As of version 1.3.5 ProB can make use of Kodkod as an alternate way of solving constraints. = How to enable Kodkod = For the comman…'