I'm a hobbyist developer who enjoys making small games that often have a logical or mathematical component. My games usually work within the constraint that every play should be winnable by the player given perfect play (including the fact that they should not need to guess at hidden information), and I am particularly interested in exploring how procedural generation can be done while obeying that constraint.