forked from Bram-Hub/LEGUP
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request Bram-Hub#852 from zacharybonagura/master
Merge updated binary puzzle, proof editor, puzzle editor, home panel, bug fixes
- Loading branch information
Showing
345 changed files
with
8,239 additions
and
2,975 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| arguments=--init-script /home/gamma/.cache/jdtls/config/org.eclipse.osgi/55/0/.cp/gradle/init/init.gradle | ||
| auto.sync=false | ||
| build.scans.enabled=false | ||
| connection.gradle.distribution=GRADLE_DISTRIBUTION(WRAPPER) | ||
| connection.project.dir= | ||
| eclipse.preferences.version=1 | ||
| gradle.user.home= | ||
| java.home=/usr/lib/jvm/java-21-openjdk-amd64 | ||
| jvm.arguments= | ||
| offline.mode=false | ||
| override.workspace.settings=true | ||
| show.console.view=true | ||
| show.executions.view=true |
19 changes: 19 additions & 0 deletions
19
output_path/test/src/resources/puzzles/sudoku/rules/LastCellForNumberDirectRule/TestBoard
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,19 @@ | ||
| <?xml version="1.0" encoding="UTF-8" standalone="no"?> | ||
| <Legup version="2.0.0"> | ||
| <puzzle name="Sudoku"> | ||
| <board size="9"> | ||
| <cells> | ||
| <cell value="1" x="0" y="0"/> | ||
| <cell value="2" x="1" y="0"/> | ||
| <cell value="3" x="2" y="0"/> | ||
| <cell value="4" x="0" y="1"/> | ||
| <cell value="5" x="1" y="1"/> | ||
| <cell value="6" x="2" y="1"/> | ||
| <cell value="7" x="0" y="2"/> | ||
| <cell value="8" x="1" y="2"/> | ||
|
|
||
| </cells> | ||
| </board> | ||
| </puzzle> | ||
| <solved isSolved="false" lastSaved="--"/> | ||
| </Legup> |
19 changes: 19 additions & 0 deletions
19
output_path/test/src/resources/puzzles/sudoku/rules/LastNumberForCellDirectRule/FullRegion
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,19 @@ | ||
| <?xml version="1.0" encoding="UTF-8" standalone="no"?> | ||
| <Legup version="2.0.0"> | ||
| <puzzle name="Sudoku"> | ||
| <board size="9"> | ||
| <cells> | ||
| <cell value="1" x="0" y="3"/> | ||
| <cell value="2" x="1" y="3"/> | ||
| <cell value="3" x="2" y="3"/> | ||
| <cell value="4" x="0" y="4"/> | ||
| <cell value="5" x="1" y="4"/> | ||
| <cell value="6" x="2" y="4"/> | ||
| <cell value="7" x="0" y="5"/> | ||
| <cell value="8" x="1" y="5"/> | ||
|
|
||
| </cells> | ||
| </board> | ||
| </puzzle> | ||
| <solved isSolved="false" lastSaved="--"/> | ||
| </Legup> |
Empty file.
111 changes: 111 additions & 0 deletions
111
puzzles files/binary/10x10 Binary Hard/10x10 Binary Hard 1
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,111 @@ | ||
| <?xml version="1.0" encoding="UTF-8" standalone="no"?> | ||
| <Legup version="3.0.0"> | ||
| <saved/> | ||
| <puzzle name="Binary"> | ||
| <board height="10" width="10"> | ||
| <cells> | ||
| <cell value="2" x="0" y="0"/> | ||
| <cell value="2" x="1" y="0"/> | ||
| <cell value="0" x="2" y="0"/> | ||
| <cell value="2" x="3" y="0"/> | ||
| <cell value="2" x="4" y="0"/> | ||
| <cell value="2" x="5" y="0"/> | ||
| <cell value="2" x="6" y="0"/> | ||
| <cell value="2" x="7" y="0"/> | ||
| <cell value="2" x="8" y="0"/> | ||
| <cell value="2" x="9" y="0"/> | ||
| <cell value="0" x="0" y="1"/> | ||
| <cell value="2" x="1" y="1"/> | ||
| <cell value="0" x="2" y="1"/> | ||
| <cell value="2" x="3" y="1"/> | ||
| <cell value="2" x="4" y="1"/> | ||
| <cell value="1" x="5" y="1"/> | ||
| <cell value="2" x="6" y="1"/> | ||
| <cell value="2" x="7" y="1"/> | ||
| <cell value="2" x="8" y="1"/> | ||
| <cell value="2" x="9" y="1"/> | ||
| <cell value="2" x="0" y="2"/> | ||
| <cell value="2" x="1" y="2"/> | ||
| <cell value="2" x="2" y="2"/> | ||
| <cell value="2" x="3" y="2"/> | ||
| <cell value="2" x="4" y="2"/> | ||
| <cell value="2" x="5" y="2"/> | ||
| <cell value="2" x="6" y="2"/> | ||
| <cell value="2" x="7" y="2"/> | ||
| <cell value="1" x="8" y="2"/> | ||
| <cell value="2" x="9" y="2"/> | ||
| <cell value="2" x="0" y="3"/> | ||
| <cell value="2" x="1" y="3"/> | ||
| <cell value="2" x="2" y="3"/> | ||
| <cell value="2" x="3" y="3"/> | ||
| <cell value="2" x="4" y="3"/> | ||
| <cell value="2" x="5" y="3"/> | ||
| <cell value="0" x="6" y="3"/> | ||
| <cell value="2" x="7" y="3"/> | ||
| <cell value="2" x="8" y="3"/> | ||
| <cell value="0" x="9" y="3"/> | ||
| <cell value="1" x="0" y="4"/> | ||
| <cell value="2" x="1" y="4"/> | ||
| <cell value="0" x="2" y="4"/> | ||
| <cell value="0" x="3" y="4"/> | ||
| <cell value="2" x="4" y="4"/> | ||
| <cell value="1" x="5" y="4"/> | ||
| <cell value="2" x="6" y="4"/> | ||
| <cell value="2" x="7" y="4"/> | ||
| <cell value="2" x="8" y="4"/> | ||
| <cell value="2" x="9" y="4"/> | ||
| <cell value="2" x="0" y="5"/> | ||
| <cell value="2" x="1" y="5"/> | ||
| <cell value="2" x="2" y="5"/> | ||
| <cell value="2" x="3" y="5"/> | ||
| <cell value="2" x="4" y="5"/> | ||
| <cell value="2" x="5" y="5"/> | ||
| <cell value="2" x="6" y="5"/> | ||
| <cell value="2" x="7" y="5"/> | ||
| <cell value="2" x="8" y="5"/> | ||
| <cell value="2" x="9" y="5"/> | ||
| <cell value="2" x="0" y="6"/> | ||
| <cell value="2" x="1" y="6"/> | ||
| <cell value="0" x="2" y="6"/> | ||
| <cell value="2" x="3" y="6"/> | ||
| <cell value="2" x="4" y="6"/> | ||
| <cell value="1" x="5" y="6"/> | ||
| <cell value="2" x="6" y="6"/> | ||
| <cell value="1" x="7" y="6"/> | ||
| <cell value="2" x="8" y="6"/> | ||
| <cell value="2" x="9" y="6"/> | ||
| <cell value="1" x="0" y="7"/> | ||
| <cell value="2" x="1" y="7"/> | ||
| <cell value="2" x="2" y="7"/> | ||
| <cell value="2" x="3" y="7"/> | ||
| <cell value="2" x="4" y="7"/> | ||
| <cell value="2" x="5" y="7"/> | ||
| <cell value="2" x="6" y="7"/> | ||
| <cell value="2" x="7" y="7"/> | ||
| <cell value="1" x="8" y="7"/> | ||
| <cell value="1" x="9" y="7"/> | ||
| <cell value="2" x="0" y="8"/> | ||
| <cell value="2" x="1" y="8"/> | ||
| <cell value="2" x="2" y="8"/> | ||
| <cell value="0" x="3" y="8"/> | ||
| <cell value="2" x="4" y="8"/> | ||
| <cell value="2" x="5" y="8"/> | ||
| <cell value="2" x="6" y="8"/> | ||
| <cell value="2" x="7" y="8"/> | ||
| <cell value="2" x="8" y="8"/> | ||
| <cell value="2" x="9" y="8"/> | ||
| <cell value="1" x="0" y="9"/> | ||
| <cell value="2" x="1" y="9"/> | ||
| <cell value="2" x="2" y="9"/> | ||
| <cell value="2" x="3" y="9"/> | ||
| <cell value="1" x="4" y="9"/> | ||
| <cell value="2" x="5" y="9"/> | ||
| <cell value="1" x="6" y="9"/> | ||
| <cell value="2" x="7" y="9"/> | ||
| <cell value="1" x="8" y="9"/> | ||
| <cell value="2" x="9" y="9"/> | ||
| </cells> | ||
| </board> | ||
| </puzzle> | ||
| <solved isSolved="false" lastSaved="2024-07-19 00:12:25"/> | ||
| </Legup> |
111 changes: 111 additions & 0 deletions
111
puzzles files/binary/10x10 Binary Hard/10x10 Binary Hard 2
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,111 @@ | ||
| <?xml version="1.0" encoding="UTF-8" standalone="no"?> | ||
| <Legup version="3.0.0"> | ||
| <saved/> | ||
| <puzzle name="Binary"> | ||
| <board height="10" width="10"> | ||
| <cells> | ||
| <cell value="2" x="0" y="0"/> | ||
| <cell value="2" x="1" y="0"/> | ||
| <cell value="2" x="2" y="0"/> | ||
| <cell value="0" x="3" y="0"/> | ||
| <cell value="2" x="4" y="0"/> | ||
| <cell value="2" x="5" y="0"/> | ||
| <cell value="1" x="6" y="0"/> | ||
| <cell value="2" x="7" y="0"/> | ||
| <cell value="2" x="8" y="0"/> | ||
| <cell value="0" x="9" y="0"/> | ||
| <cell value="2" x="0" y="1"/> | ||
| <cell value="2" x="1" y="1"/> | ||
| <cell value="1" x="2" y="1"/> | ||
| <cell value="2" x="3" y="1"/> | ||
| <cell value="1" x="4" y="1"/> | ||
| <cell value="2" x="5" y="1"/> | ||
| <cell value="2" x="6" y="1"/> | ||
| <cell value="2" x="7" y="1"/> | ||
| <cell value="0" x="8" y="1"/> | ||
| <cell value="2" x="9" y="1"/> | ||
| <cell value="2" x="0" y="2"/> | ||
| <cell value="0" x="1" y="2"/> | ||
| <cell value="2" x="2" y="2"/> | ||
| <cell value="2" x="3" y="2"/> | ||
| <cell value="2" x="4" y="2"/> | ||
| <cell value="2" x="5" y="2"/> | ||
| <cell value="2" x="6" y="2"/> | ||
| <cell value="1" x="7" y="2"/> | ||
| <cell value="0" x="8" y="2"/> | ||
| <cell value="2" x="9" y="2"/> | ||
| <cell value="2" x="0" y="3"/> | ||
| <cell value="0" x="1" y="3"/> | ||
| <cell value="2" x="2" y="3"/> | ||
| <cell value="2" x="3" y="3"/> | ||
| <cell value="2" x="4" y="3"/> | ||
| <cell value="2" x="5" y="3"/> | ||
| <cell value="2" x="6" y="3"/> | ||
| <cell value="2" x="7" y="3"/> | ||
| <cell value="2" x="8" y="3"/> | ||
| <cell value="2" x="9" y="3"/> | ||
| <cell value="2" x="0" y="4"/> | ||
| <cell value="2" x="1" y="4"/> | ||
| <cell value="2" x="2" y="4"/> | ||
| <cell value="2" x="3" y="4"/> | ||
| <cell value="0" x="4" y="4"/> | ||
| <cell value="2" x="5" y="4"/> | ||
| <cell value="2" x="6" y="4"/> | ||
| <cell value="2" x="7" y="4"/> | ||
| <cell value="2" x="8" y="4"/> | ||
| <cell value="2" x="9" y="4"/> | ||
| <cell value="2" x="0" y="5"/> | ||
| <cell value="2" x="1" y="5"/> | ||
| <cell value="1" x="2" y="5"/> | ||
| <cell value="2" x="3" y="5"/> | ||
| <cell value="2" x="4" y="5"/> | ||
| <cell value="2" x="5" y="5"/> | ||
| <cell value="2" x="6" y="5"/> | ||
| <cell value="2" x="7" y="5"/> | ||
| <cell value="2" x="8" y="5"/> | ||
| <cell value="0" x="9" y="5"/> | ||
| <cell value="2" x="0" y="6"/> | ||
| <cell value="2" x="1" y="6"/> | ||
| <cell value="2" x="2" y="6"/> | ||
| <cell value="1" x="3" y="6"/> | ||
| <cell value="2" x="4" y="6"/> | ||
| <cell value="2" x="5" y="6"/> | ||
| <cell value="0" x="6" y="6"/> | ||
| <cell value="2" x="7" y="6"/> | ||
| <cell value="2" x="8" y="6"/> | ||
| <cell value="2" x="9" y="6"/> | ||
| <cell value="2" x="0" y="7"/> | ||
| <cell value="0" x="1" y="7"/> | ||
| <cell value="2" x="2" y="7"/> | ||
| <cell value="2" x="3" y="7"/> | ||
| <cell value="2" x="4" y="7"/> | ||
| <cell value="2" x="5" y="7"/> | ||
| <cell value="2" x="6" y="7"/> | ||
| <cell value="2" x="7" y="7"/> | ||
| <cell value="0" x="8" y="7"/> | ||
| <cell value="2" x="9" y="7"/> | ||
| <cell value="2" x="0" y="8"/> | ||
| <cell value="0" x="1" y="8"/> | ||
| <cell value="0" x="2" y="8"/> | ||
| <cell value="2" x="3" y="8"/> | ||
| <cell value="2" x="4" y="8"/> | ||
| <cell value="2" x="5" y="8"/> | ||
| <cell value="2" x="6" y="8"/> | ||
| <cell value="0" x="7" y="8"/> | ||
| <cell value="2" x="8" y="8"/> | ||
| <cell value="0" x="9" y="8"/> | ||
| <cell value="2" x="0" y="9"/> | ||
| <cell value="2" x="1" y="9"/> | ||
| <cell value="2" x="2" y="9"/> | ||
| <cell value="0" x="3" y="9"/> | ||
| <cell value="2" x="4" y="9"/> | ||
| <cell value="2" x="5" y="9"/> | ||
| <cell value="1" x="6" y="9"/> | ||
| <cell value="2" x="7" y="9"/> | ||
| <cell value="0" x="8" y="9"/> | ||
| <cell value="2" x="9" y="9"/> | ||
| </cells> | ||
| </board> | ||
| </puzzle> | ||
| <solved isSolved="false" lastSaved="2024-07-26 14:44:39"/> | ||
| </Legup> |
111 changes: 111 additions & 0 deletions
111
puzzles files/binary/10x10 Binary Hard/10x10 Binary Hard 3
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,111 @@ | ||
| <?xml version="1.0" encoding="UTF-8" standalone="no"?> | ||
| <Legup version="3.0.0"> | ||
| <saved/> | ||
| <puzzle name="Binary"> | ||
| <board height="10" width="10"> | ||
| <cells> | ||
| <cell value="2" x="0" y="0"/> | ||
| <cell value="2" x="1" y="0"/> | ||
| <cell value="2" x="2" y="0"/> | ||
| <cell value="2" x="3" y="0"/> | ||
| <cell value="1" x="4" y="0"/> | ||
| <cell value="2" x="5" y="0"/> | ||
| <cell value="0" x="6" y="0"/> | ||
| <cell value="2" x="7" y="0"/> | ||
| <cell value="1" x="8" y="0"/> | ||
| <cell value="2" x="9" y="0"/> | ||
| <cell value="2" x="0" y="1"/> | ||
| <cell value="1" x="1" y="1"/> | ||
| <cell value="1" x="2" y="1"/> | ||
| <cell value="2" x="3" y="1"/> | ||
| <cell value="2" x="4" y="1"/> | ||
| <cell value="2" x="5" y="1"/> | ||
| <cell value="2" x="6" y="1"/> | ||
| <cell value="2" x="7" y="1"/> | ||
| <cell value="2" x="8" y="1"/> | ||
| <cell value="2" x="9" y="1"/> | ||
| <cell value="1" x="0" y="2"/> | ||
| <cell value="2" x="1" y="2"/> | ||
| <cell value="2" x="2" y="2"/> | ||
| <cell value="2" x="3" y="2"/> | ||
| <cell value="2" x="4" y="2"/> | ||
| <cell value="2" x="5" y="2"/> | ||
| <cell value="2" x="6" y="2"/> | ||
| <cell value="2" x="7" y="2"/> | ||
| <cell value="1" x="8" y="2"/> | ||
| <cell value="2" x="9" y="2"/> | ||
| <cell value="2" x="0" y="3"/> | ||
| <cell value="0" x="1" y="3"/> | ||
| <cell value="2" x="2" y="3"/> | ||
| <cell value="1" x="3" y="3"/> | ||
| <cell value="2" x="4" y="3"/> | ||
| <cell value="2" x="5" y="3"/> | ||
| <cell value="0" x="6" y="3"/> | ||
| <cell value="2" x="7" y="3"/> | ||
| <cell value="2" x="8" y="3"/> | ||
| <cell value="2" x="9" y="3"/> | ||
| <cell value="2" x="0" y="4"/> | ||
| <cell value="0" x="1" y="4"/> | ||
| <cell value="2" x="2" y="4"/> | ||
| <cell value="1" x="3" y="4"/> | ||
| <cell value="2" x="4" y="4"/> | ||
| <cell value="2" x="5" y="4"/> | ||
| <cell value="2" x="6" y="4"/> | ||
| <cell value="1" x="7" y="4"/> | ||
| <cell value="2" x="8" y="4"/> | ||
| <cell value="2" x="9" y="4"/> | ||
| <cell value="2" x="0" y="5"/> | ||
| <cell value="2" x="1" y="5"/> | ||
| <cell value="2" x="2" y="5"/> | ||
| <cell value="2" x="3" y="5"/> | ||
| <cell value="0" x="4" y="5"/> | ||
| <cell value="2" x="5" y="5"/> | ||
| <cell value="1" x="6" y="5"/> | ||
| <cell value="2" x="7" y="5"/> | ||
| <cell value="1" x="8" y="5"/> | ||
| <cell value="2" x="9" y="5"/> | ||
| <cell value="2" x="0" y="6"/> | ||
| <cell value="2" x="1" y="6"/> | ||
| <cell value="0" x="2" y="6"/> | ||
| <cell value="2" x="3" y="6"/> | ||
| <cell value="0" x="4" y="6"/> | ||
| <cell value="2" x="5" y="6"/> | ||
| <cell value="2" x="6" y="6"/> | ||
| <cell value="2" x="7" y="6"/> | ||
| <cell value="2" x="8" y="6"/> | ||
| <cell value="0" x="9" y="6"/> | ||
| <cell value="2" x="0" y="7"/> | ||
| <cell value="1" x="1" y="7"/> | ||
| <cell value="2" x="2" y="7"/> | ||
| <cell value="2" x="3" y="7"/> | ||
| <cell value="2" x="4" y="7"/> | ||
| <cell value="2" x="5" y="7"/> | ||
| <cell value="2" x="6" y="7"/> | ||
| <cell value="1" x="7" y="7"/> | ||
| <cell value="2" x="8" y="7"/> | ||
| <cell value="2" x="9" y="7"/> | ||
| <cell value="2" x="0" y="8"/> | ||
| <cell value="2" x="1" y="8"/> | ||
| <cell value="2" x="2" y="8"/> | ||
| <cell value="2" x="3" y="8"/> | ||
| <cell value="2" x="4" y="8"/> | ||
| <cell value="2" x="5" y="8"/> | ||
| <cell value="2" x="6" y="8"/> | ||
| <cell value="2" x="7" y="8"/> | ||
| <cell value="2" x="8" y="8"/> | ||
| <cell value="2" x="9" y="8"/> | ||
| <cell value="0" x="0" y="9"/> | ||
| <cell value="2" x="1" y="9"/> | ||
| <cell value="0" x="2" y="9"/> | ||
| <cell value="0" x="3" y="9"/> | ||
| <cell value="2" x="4" y="9"/> | ||
| <cell value="2" x="5" y="9"/> | ||
| <cell value="2" x="6" y="9"/> | ||
| <cell value="2" x="7" y="9"/> | ||
| <cell value="2" x="8" y="9"/> | ||
| <cell value="0" x="9" y="9"/> | ||
| </cells> | ||
| </board> | ||
| </puzzle> | ||
| <solved isSolved="false" lastSaved="2024-07-26 14:45:38"/> | ||
| </Legup> |
Oops, something went wrong.