Generating a maze with linear constraint programming
brg8.medium.com