issues
search
Bram-Hub
/
LEGUP
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
GNU General Public License v3.0
33
stars
82
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Implementing the BinaryType file for the grid cell possibilities
#715
zacharybonagura
closed
8 months ago
0
Java21
#714
FisherLuba
closed
8 months ago
23
Finishing Short Truth Table Contradiction Rule tests
#713
charlestian23
closed
6 months ago
1
Add Unset tile type
#712
FisherLuba
closed
8 months ago
0
[ENHANCEMENT] Region Logic
#711
Chase-Grajeda
opened
8 months ago
0
Binary.java complete
#710
zacharybonagura
closed
8 months ago
0
Initial Minesweeper implementation work
#709
FisherLuba
closed
8 months ago
0
Skyscrapers Test Suite
#708
charlestian23
closed
8 months ago
0
Fixed Short Truth Table case rule bug
#707
charlestian23
closed
8 months ago
0
Revert revert of #682
#706
charlestian23
closed
8 months ago
0
Short Truth Table Case Rule Test Fix
#705
charlestian23
closed
8 months ago
0
Update javadocs action
#704
charlestian23
closed
10 months ago
0
Update javadocs action
#703
charlestian23
closed
10 months ago
0
Update Javadocs publisher to use most recent version
#702
charlestian23
closed
10 months ago
0
Tree Tent test improvements
#701
charlestian23
opened
10 months ago
0
[BUG] TreeTent linked cells bug
#700
charlestian23
opened
10 months ago
0
LEGUP December 2023 Pull Request
#699
charlestian23
closed
8 months ago
0
EmptyCornerDirectRuleTest Finished
#698
pitbull51067
closed
10 months ago
0
Issue 679 atomic true on empty
#697
Chase-Grajeda
closed
10 months ago
1
EmptyCellinLight tested
#696
pitbull51067
closed
10 months ago
0
Added back TreeTent line creation
#695
Kevin-771
closed
10 months ago
0
Short Truth Table And, Or, and Atomic Case Rules
#694
charlestian23
closed
9 months ago
0
Added Conditional Introduction and Biconditional Introduction tests
#693
charlestian23
closed
10 months ago
0
Fix treetent puzzle editor
#692
jac-oblong
closed
10 months ago
3
Skyscrapers test suite
#691
ThisMatt
closed
11 months ago
0
[BUG] Previous transition becomes modifiable
#690
Chase-Grajeda
closed
8 months ago
0
Or Elimination, Or Introduction, Not Introduction, and And Introduction Test Cases
#689
charlestian23
closed
10 months ago
0
added TentOrGrassCaseRuleTests
#688
Kevin-771
closed
10 months ago
0
Revert "Test suite branch -- BulbsInPathContradictionRuleTest"
#687
charlestian23
closed
11 months ago
1
Adjusted Gradle Settings to Reflect Updated Project Name
#686
Corppet
closed
11 months ago
0
Test suite branch
#685
pitbull51067
closed
11 months ago
1
[BUG] Elimination rules throw exceptions when setting both the operator and the variable(s)
#684
charlestian23
opened
11 months ago
2
Tree Tent Test Suite- All Remaining Non-Case Type Tests
#683
Rorymar
closed
10 months ago
2
Bugfix 549
#682
ThisMatt
closed
9 months ago
2
Dynamically update FlatLaf version
#681
charlestian23
closed
11 months ago
0
Issue 413 operator transition
#680
Chase-Grajeda
closed
11 months ago
0
[BUG] Atomic Rule returns TRUE on Empty Cell
#679
Chase-Grajeda
closed
8 months ago
1
Complete Nurikabe test suite
#678
Relurk1
closed
11 months ago
4
[FEATURE] Short Truth Table Free Variable Direct Rule
#677
charlestian23
opened
11 months ago
0
added FinishWithTentsTest
#676
Kevin-771
closed
11 months ago
1
Added more Short Truth Table tests
#675
charlestian23
closed
11 months ago
3
Test suite branch -- BulbsInPathContradictionRuleTest
#674
pitbull51067
closed
11 months ago
3
Surround completed region newest
#673
cadogs
closed
11 months ago
0
More Short Truth Table Tests
#672
charlestian23
closed
12 months ago
0
Atomic Direct Rule Test
#671
charlestian23
closed
8 months ago
0
Generic Introduction Direct Rule Test
#670
charlestian23
closed
8 months ago
1
And Introduction Direct Rule Test
#669
charlestian23
closed
8 months ago
0
Biconditional Introduction Direct Rule Test
#668
charlestian23
closed
8 months ago
0
Conditional Introduction Direct Rule Test
#667
charlestian23
closed
8 months ago
0
Not Introduction Direct Rule Test
#666
charlestian23
closed
8 months ago
0
Previous
Next