| Setup |  |
|---|
| Setup | |
|---|
This article explains how to configure the program to solve a logic puzzle. You select your options via the Setup form.
The Setup form allows you to set your options for solving a puzzle, and will remember your choices.
|
Pauses
AllLevel Solution Violation Mark Trigger Guess Placer |
General
AutorunRechart Rules Triggers |
Levels
EnableLevel 1 Level 2 Level 3 Level 4 |
Laws
EnableLaw 1 Law 2 Law 3 Law 4 Law 5 |
The following is a brief description of each setup option organized by category.
| Name | Description |
|---|---|
| All | Pause on all events. |
| Level | Pause when level changes. |
| Solution | Pause when solution is found. |
| Violation | Pause when mark violates fact, rule, or law. |
| Mark | Pause when mark is entered. |
| Trigger | Pause when mark is entered via rule. |
| Guess | Pause when assumption is entered. |
| Placer | Pause when name/title of noun(s) is updated. |
| Name | Description |
|---|---|
| Autorun | Solve the puzzle when it is loaded. |
| Rechart | Show mark's first noun type in first column. |
| Rules | Allow rules to be invoked. |
| Triggers | Allow rules to enter marks. |
| Reset | Use default settings. |
| Name | Description |
|---|---|
| Enable | Enable levels. |
| Level 1 | Enable "Examine One Fact At A Time". |
| Level 2 | Enable "Examine Two Facts At A Time". |
| Level 3 | Enable "Examine All Facts At A Time". |
| Level 4 | Enable "Make Assumptions (Guess)". |
| Name | Description |
|---|---|
| Enable | Enable laws. |
| Law 1 | Enable "Law Of Grids". |
| Law 2 | Enable "Law Of Transitive Relations". |
| Law 3 | Enable "Law Of Disjoint Sets". |
| Law 4 | Enable "Law Of Reservations For Two". |
| Law 5 | Enable "Law Of Facts". |