This article explores solving the LinkedIn-Queens puzzle using computational approaches including SAT solvers and model checkers. The puzzle requires placing queens on an n×n grid such that each row, column, and colored region contains exactly one queen with no adjacent queens. The author demonstrates using PyEDA, a Python-based SAT solver, to find all solutions on a 4×4 grid by representing the board as Boolean variables and encoding puzzle rules as constraints.
PrimalSolver is a dependency-free mathematical optimization solver written in C99 that supports LP, MILP, QP, QCQP, SOCP, SDP and mixed-integer conic problems. It provides independently verifiable solution certificates including primal/dual solutions with stationarity, feasibility and complementarity guarantees, validated against MOSEK examples with 4242 reliability checks.
Word Bot is an AI-powered tool that demonstrates optimal strategies for solving five-letter word puzzles like Wordle. Users input a starting word and target word, then watch the AI solve it step-by-step, revealing how many guesses are needed and comparing different opening strategies.