I wonder how autorouters encode all of the various electronics rules. Such as min distance between traces, max angle of a turn, how to snap multiple connections together so they look good, etc.
As far as I know, the design rules are managed as net properties, and the typical auto router opinion of aesthetics is "lol." So a lot of effort that could be spent typing in rules and cleaning up aesthetics is often spent just routing the damn board manually.