Logic Tools Menu

Note: Some items may not be included in the Xsudo-Lite version.

Internal Settings (sub menu)

Report More Detail. Reports more detail in the What's Going On log.

Allow Links to be Strong. Treat links as truths if all candidates are included in logic.

Find All Eliminations. Find all possible eliminations that can be caused by the current group of truths. This funtion may add aditional links to the logic.

Find Cover Set Groups. Find individual base/cover groups for this logic, if possible. If found, the program enters a view base/cover set mode.

Edit This Cover Group. [Enter] Return the current cover group to the edit buffer for editing.

Edit All Cover Groups. [Shift Enter] Return all cover groups to the edit buffer for editing. Places multiple logic paths in the edit buffer. These can be accessed with the left/right arrow icons or using the left right arrow keys.

Return and Edit. [Escape] Return to previous logic that was in the edit buffer.

Convert Truths to Links Convert truths to links if the truths are not required for the current of eliminations or assignments. Eliminations are required to apply this funtion.

Remove Unused Links Remove any unused links, i.e., links that are not required for the current eliminations or assignments. Eliminations are required to apply this funtion.

Find Base/Cover Sets Try to find a new set of base and cover sets.

Ignore Singles in Patterns. A hint to the logic engine that the current logic is a pattern. This prevents some functions from assuming unused houses contain singles.

Stop. Stop the search thread from whatever it is doing.

Solve by Backtrack. Run the Backtrack Algorithm to find solution.