Skip to content

Instantly share code, notes, and snippets.

View JustAnAverageGuy's full-sized avatar
🦝
doing average stuff

JustAnAverageGuy

🦝
doing average stuff
  • India
View GitHub Profile
@JustAnAverageGuy
JustAnAverageGuy / fill-OE-preference-form.py
Last active June 28, 2025 19:24
fills OE preference form
#!/usr/bin/env python3
import sys
import pyautogui as pg
# List of form courses generated as
# JSON.stringify([...$0.children].map(x => x.innerHTML).filter(k => k))
FORM_COURSES = [ # {{{
'BM-201',
'EC-423',
'CHI-403',
@JustAnAverageGuy
JustAnAverageGuy / z3-4x4-unique-sum-sudoku.py
Created May 5, 2025 21:34
A z3 solver based solution for the unique sum sudoku puzzle by myxo and `I love sleeping`
#!/usr/bin/env python3
# https://sudokupad.app/nLjQ8DjNRJ
# "Unique Sum Sudoku"
# By I Love Sleeping & Myxo
# Normal sudoku rules do NOT apply. Fill the grid with digits 1-9, such that no digit repeats in any row, column or box. The set of digits in each row or column is unique, eg. if a row contains the digits 1234, no other row or column may contain exactly those digits. The digits in every row, column and box sum to x, where x has to be determined by the solver. Digits separated by an X sum to 10. Digits separated by a V sum to 5. Not all Xs and Vs are necessarily given.
# Featured in video: "How Hard Can A 4x4 Sudoku Be?" - Cracking The Cryptic
# https://www.youtube.com/watch?v=JvbnQMzOHhI
from itertools import permutations