Tutorials/LLS: Revision history

25 September 2026

• curprev 16:3516:35, 25 September 2026 Qqd talk contribs 36,247 bytes +207 Replaced instructions for Cygwin with instructions for WSL

2 September 2026

• curprev 11:2011:20, 2 September 2026 ElijahKen talk contribs m 36,040 bytes −31 Removing a confusing line "and run configure.sh" from the kissat build instructions section. That step happened later, and with a better explanation.

5 August 2026

• curprev 00:4600:46, 5 August 2026 TheWayOfTheCon talk contribs 36,071 bytes +6,576 Adding new section, rearranged some stuff

13 September 2025

• curprev 22:3022:30, 13 September 2025 Muzik talk contribs 29,495 bytes +42 No edit summary

1 December 2024

• curprev 16:1416:14, 1 December 2024 Dvgrn talk contribs m 29,453 bytes −6 "backtracking" -> "rewinding"

30 November 2024

• curprev 03:0703:07, 30 November 2024 Dvgrn talk contribs 29,459 bytes +7,147 Add an initial section on LLS predecessor searches

25 March 2024

• curprev 13:3113:31, 25 March 2024 Dvgrn talk contribs m 22,312 bytes −1 →Finding an alien (2,1)c/3 spaceship: removed an extraneous period. (That wasn't supposed to be a "./python" for some kind of Linux compatibility, was it? There's nothing similar in the next code block.)

3 June 2023

• curprev 15:2915:29, 3 June 2023 DroneBetter talk contribs m 22,313 bytes −24 relink Catagolue object page with cata template

30 March 2023

• curprev 19:3219:32, 30 March 2023 Confocal talk contribs m 22,337 bytes +5 →Installing a SAT solver: add link

4 February 2023

• curprev 13:5213:52, 4 February 2023 Dvgrn talk contribs 22,332 bytes +3,258 taking Macbi's suggestion and including kissat build instructions in the LLS tutorial

11 December 2022

• curprev 13:3913:39, 11 December 2022 DroneBetter talk contribs m 19,074 bytes +98 Add link to Lingeling website archive (due to it returning "The requested URL was not found on this server" for me)
• curprev 13:3013:30, 11 December 2022 DroneBetter talk contribs m 18,976 bytes +186 Correct which p3 spaceship article is linked to (having run it myself, the RLE is correct but it links to the wrong one) and add Catagolue object identification page in success links

16 May 2022

• curprev 14:2114:21, 16 May 2022 Macbi talk contribs 18,790 bytes −40 Changes for Version 3

15 May 2022

• curprev 12:3812:38, 15 May 2022 Macbi talk contribs 18,830 bytes +69 No edit summary
• curprev 12:2012:20, 15 May 2022 Macbi talk contribs 18,761 bytes −2,045 Update for LLS Version 1

5 April 2022

• curprev 19:4319:43, 5 April 2022 Yujh talk contribs m 20,806 bytes −820 updated a bit(also who use cygwin right now?)

20 April 2021

• curprev 11:4211:42, 20 April 2021 Macbi talk contribs 21,626 bytes 0 GitHub -> GitLab

17 February 2021

• curprev 19:1519:15, 17 February 2021 Goldenratio talk contribs 21,626 bytes −29 Fixed a bit of outdated info

31 December 2020

• curprev 18:5518:55, 31 December 2020 Ian07 talk contribs m 21,655 bytes −14 {{Tutorial}}

20 May 2020

• curprev 13:4113:41, 20 May 2020 Saka talk contribs 21,669 bytes +1,284 development version differences

21 January 2019

• curprev 19:5219:52, 21 January 2019 Ian07 talk contribs 20,385 bytes −13 Undo revision 56495 by Ian07 (talk)
• curprev 19:4119:41, 21 January 2019 Ian07 talk contribs 20,398 bytes +13 Needs updating: parameters in LLS now work differently

26 June 2018

• curprev 18:4118:41, 26 June 2018 RedGolpe talk contribs m 20,385 bytes −12 →Installing Lingeling: clarification
• curprev 18:4118:41, 26 June 2018 RedGolpe talk contribs m 20,397 bytes +21 →Installing Lingeling: caveat on version
• curprev 18:3918:39, 26 June 2018 RedGolpe talk contribs m 20,376 bytes 0 →Installing Lingeling: added newer lingeling version

11 February 2018

• curprev 16:0616:06, 11 February 2018 Apple Bottom talk contribs m 20,376 bytes −1 tpyo

5 February 2018

• curprev 15:5015:50, 5 February 2018 Apple Bottom talk contribs 20,377 bytes +1,378 Mention Rhombic's rulespace-to-Macbi-partial converter script.

3 February 2018

• curprev 09:5009:50, 3 February 2018 Apple Bottom talk contribs m 18,999 bytes −30 →Troubleshooting: remove bold
• curprev 09:4909:49, 3 February 2018 Apple Bottom talk contribs 19,029 bytes +163 Cygwin: dos2unix should be installed
• curprev 09:4709:47, 3 February 2018 Apple Bottom talk contribs 18,866 bytes +220 →References: +ref
• curprev 09:4709:47, 3 February 2018 Apple Bottom talk contribs 18,646 bytes +902 →Unsatisfiable: Reworked
• curprev 09:2809:28, 3 February 2018 Apple Bottom talk contribs 17,744 bytes +39 →Notes: New section
• curprev 09:2809:28, 3 February 2018 Apple Bottom talk contribs 17,705 bytes +1,649 →Installing LLS: How to get updates and switch between branches

1 February 2018

• curprev 18:1818:18, 1 February 2018 Apple Bottom talk contribs 16,056 bytes +589 →Sucess -- now what?: New section
• curprev 06:2006:20, 1 February 2018 Apple Bottom talk contribs 15,467 bytes +952 →Troubleshooting: Start new section.

30 January 2018

• curprev 21:2621:26, 30 January 2018 Apple Bottom talk contribs m 14,515 bytes −4 style
• curprev 21:2421:24, 30 January 2018 Apple Bottom talk contribs m 14,519 bytes +6 No edit summary
• curprev 20:4620:46, 30 January 2018 Apple Bottom talk contribs 14,513 bytes +819 Refs for the example searches
• curprev 20:3520:35, 30 January 2018 Apple Bottom talk contribs 13,694 bytes +85 Link to Hensel notation
• curprev 20:3320:33, 30 January 2018 Apple Bottom talk contribs 13,609 bytes +2,344 Finding a small alien ship.
• curprev 20:1820:18, 30 January 2018 Apple Bottom talk contribs 11,265 bytes +1,856 "Testing" becomes "First steps", and we find Brain as our second pattern.
• curprev 20:0620:06, 30 January 2018 Apple Bottom talk contribs 9,409 bytes +9,409 New tutorial (to be expanded)