Attempting to make a grid-style logic problem solver using MIT's Alloy and python.