A tool made for the game Sprocket. Helps the user perform various operations on the game files, known as "file editing", and a little extra.
A Python tool that translates a 4×4 Mini-Sudoku puzzle into a Boolean Satisfiability (SAT) formulation.
