Skip to content

optionally list only puzzles that are not solvable #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
pd2 wants to merge 1 commit into
base: main
Choose a base branch
from
Open

optionally list only puzzles that are not solvable #6

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
30 changes: 20 additions & 10 deletions puzzle-a-day.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,16 +17,25 @@ def rgb(text, color='#aaa'):
return f'\033[38;2;{r};{g};{b}m{text}\033[00m'


def print_value(date, count):
def print_value(date, count, only_zeros):
""" Print the value for the specified date in a calendar format. """
color = None if count else '#c00'
if date.day == 1:
print()
print(f'\n{date.strftime("%B")}')
print(' '*date.weekday(), end='')
elif date.weekday() == 0:
print()
print(rgb(f'{count:4} ', color), end='')
if not only_zeros:
if date.day == 1:
print()
print(f'\n{date.strftime("%B")}')
print(' '*date.weekday(), end='')
elif date.weekday() == 0:
print()
print(rgb(f'{count:4} ', color), end='')
elif only_zeros and count>=1:
if date.day == 1:
print()
print(f'\n{date.strftime("%B")}')
print(' '*date.weekday(), end='')
elif date.weekday() == 0:
print()
print(rgb(f'{count:4} ', color), end='')


def print_summary(solutions):
Expand Down Expand Up @@ -56,7 +65,7 @@ def find_solutions_for_year(board, pieces, year, opts, num_procs=4):
date += datetime.timedelta(days=1)
for date, proc in procs.items():
_solutions, count = proc.get(timeout=300)
print_value(date, count)
print_value(date, count, opts.zero)
solutions[date] = _solutions
except KeyboardInterrupt:
print('\n\nKeyboardInterrupt; Stopping..')
Expand All @@ -75,7 +84,7 @@ def find_solutions_for_date(board, pieces, date, opts):
allow_duplicates=opts.allow_duplicates,
showx=opts.showx,
showy=opts.showy)
solutions = list(solver.find_solutions())
solutions = list(solver.find_solutions(opts.zero))
return solutions, len(solutions)
except KeyboardInterrupt:
return [], 0
Expand Down Expand Up @@ -104,6 +113,7 @@ def set_date(board, date=None):
parser.add_argument('-s', '--set', default='set1', help='Piece set to use.')
parser.add_argument('-d', '--date', help='Date to solve for (YYYY-MM-DD)')
parser.add_argument('-y', '--year', type=int, help='Run for every day of the year.')
parser.add_argument('-z', '--zero', type=bool, default=False, help='Find only unsolvable puzzles.')
parser.add_argument('--no-reflections', default=False, action='store_true', help='Dont allow pieces to be flipped.')
parser.add_argument('--allow-duplicates', default=False, action='store_true', help='Allow duplicate pieces.')
parser.add_argument('--showx', default=False, action='store_true', help='Show the X-Contraint values.')
Expand Down