A Python implementation of the Quine–McCluskey algorithm for Boolean function minimization. Includes a theoretical report, interactive Jupyter notebook, and truth table verification.

Toolkit for simulating and analyzing Gerrymandering using Alexeev and Mixon's Impossibility Theorem. Includes districting scenario models, fairness evaluation, and visualizations. Features Jupyter notebooks for simulations and data analysis.