Packing Polyominoes into grids using SMT solvers, and analysing their stability. Done as a part of CSCI 1710, Spring 2023.