issues
search
jeremydover
/
ORsudoku
A Python class which allows (relatively) easy modeling of common (and some uncommon) Sudoku constraints for Google's ORTools SAT Solver.
GNU General Public License v3.0
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Implement support for lots
#60
jeremydover
opened
5 months ago
0
Implement slingshot constraints
#59
jeremydover
closed
6 months ago
1
Update parity quads to allow setting of disallowed parity counts
#58
jeremydover
closed
6 months ago
2
Battlefield constraint has some bit flopping when finding all solutions
#57
jeremydover
closed
6 months ago
2
Implement support for gray Kropki dots
#56
jeremydover
closed
6 months ago
1
Implement different neighbors constraints
#55
jeremydover
closed
6 months ago
1
Implement pointing differents constraints
#54
jeremydover
closed
6 months ago
1
Implement first-seen parity clues
#53
jeremydover
closed
6 months ago
1
Implement support for parity blocks
#52
jeremydover
closed
6 months ago
1
Implement nearest neighbor clues
#51
jeremydover
closed
6 months ago
1
Implement support for line sum clues
#50
jeremydover
closed
6 months ago
1
Implement support for Kropki chains
#49
jeremydover
opened
6 months ago
0
Create support for Cupid clues
#48
jeremydover
closed
6 months ago
1
Implement counting circles
#47
jeremydover
closed
7 months ago
1
Implement triple tabs
#46
jeremydover
closed
6 months ago
1
Fix quadruples implementation so that countSolutions works
#45
jeremydover
closed
7 months ago
1
Implement global neighbor sums
#44
jeremydover
closed
6 months ago
1
Implement fast thermos
#43
jeremydover
closed
10 months ago
1
Add support for zipper lines
#42
jeremydover
closed
11 months ago
1
Add support for difference clues
#41
jeremydover
closed
11 months ago
1
Add support for Shaken Clone region
#40
jeremydover
closed
11 months ago
1
Add support for Diagonal Consecutive Pairs
#39
jeremydover
closed
11 months ago
2
Add support for ascending starter clues
#38
jeremydover
closed
11 months ago
1
Add support for Knapp daneben rules
#37
jeremydover
closed
1 year ago
1
Add support for renrenbanban lines
#36
jeremydover
closed
1 year ago
1
Add support for consecutive chain constraint
#35
jeremydover
closed
1 year ago
3
Add support for consecutive lines
#34
jeremydover
closed
1 year ago
1
Add support for sum sandwiches constraint
#33
jeremydover
closed
1 year ago
1
Add support for XY-Difference Pairs
#32
jeremydover
closed
1 year ago
1
Add support for diagonal outside clues
#31
jeremydover
closed
1 year ago
1
Implement repelling digits
#30
jeremydover
closed
1 year ago
1
Implement punctured cages
#29
jeremydover
closed
1 year ago
1
Refactor code so that regions are tuples of indices, not model variables
#28
jeremydover
closed
2 years ago
1
Add support for parity count lines
#27
jeremydover
closed
2 years ago
1
List Candidates
#26
jeremydover
closed
2 years ago
1
Issue with indexing countSolutions
#25
jeremydover
closed
1 year ago
4
Fix error in indexing negative constraints
#24
jeremydover
closed
2 years ago
1
Implement support for vault constraints
#23
jeremydover
closed
2 years ago
1
Add support for next-to-nine constraints
#22
jeremydover
closed
2 years ago
1
Review some constraints (e.g. friendly, entropic battenburg) to decide if anti-constraint options should be implemented.
#21
jeremydover
closed
2 years ago
1
Add support for pencilmark clues
#20
jeremydover
closed
2 years ago
1
Add support for Skyscrapers
#19
jeremydover
closed
2 years ago
1
Implement BlockCages
#18
jeremydover
closed
2 years ago
1
Test harness
#17
jeremydover
closed
2 years ago
1
Add support for count-the-odd lines
#16
jeremydover
closed
2 years ago
1
Implement outside sudoku clues
#15
jeremydover
closed
2 years ago
1
Implement support for corner max clues
#14
jeremydover
closed
2 years ago
1
Implement support for corner/edge sudoku
#13
jeremydover
closed
2 years ago
1
Add support for Rossini sudoku
#12
jeremydover
closed
2 years ago
1
Add support for max ascending clues
#11
jeremydover
closed
2 years ago
1
Next