Lix Proof Collection (solutions for all levels)

[Simon]

Hi,

https://github.com/SimonN/lemforum-replays

...offers at least one solving replay ("proof") for every singleplayer level in the main Lix download.

Installation:

• Follow above link -> Click the green button "Code" -> Download as Zip
• In your Lix main directory, create the directory replays if it doesn't exist yet.
• Extract the downloaded archive into replays.
  

Usage: You can choose:

• Run Lix, open the Replay browser, and watch individual replays.
• Or, to check solvability without spoiling:
  In the Replay browser, navigate to the extracted directory (or to a pack or rank inside), then click "Verify Dir".
• Or, to check solvability from the command line:
  lix --coverage replays/<theExtractedDirectory>
  

A solving replay is called a proof of solvability for its level. A level with at least one proof is called covered. Ideally, the proof shows the intended solution. When somebody else than the level author covers the level, it's usually close to the intended solution, but it might be a backroute.

If you're a singleplayer level designer, it's good style to cover your levels. If you would like your levels included in the main Lix download, please send me both the levels and their proofs, so I can include your proofs in the proof collection.

-- Simon

[Forestidia86]

Installation: Follow above link -> Clone or download -> Download as Zip -> Extract within replays/ of your Lix installation.

That may be a bit pedantic but in a fresh download there is no replays folder although you can just put it in the extraction path so instruction may be technically right.
(I only noticed it because sometimes it irks me that I have to create one myself and thought to myself if a new user could get confused where to put replays. But then again that should have almost no use cases since already one produced replay creates that folder. So I never know if I'm for doing sth. against it.)

[Simon]

pedantic but in a fresh download there is no replays folder although you can just put it in the extraction path so instruction may be technically right.
new user could get confused where to put replays.

Pedantism is excellent for these instructions. I changed the instructions in the opening post to explain making the dir. Thanks!

-- Simon

[ericderkovits]

Thanks for the replays for all the single player levels of Lix. I like watching these two.

[mobius]

I don't believe any replays exist on the github for the outtake levels of the community pack like "bulldozer"? unless I'm wrong. Does anybody have replays for those levels?

[Forestidia86]

I don't believe any replays exist on the github for the outtake levels of the community pack like "bulldozer"? unless I'm wrong. Does anybody have replays for those levels?

The replays for the outtake levels that are shipped with Lix (including Bulldozer) are in the github repo: https://github.com/SimonN/lemforum-replays/tree/master/misc/lemforum-outtakes