You are asking for too much, but you could join our project and help. The inference of "intuitive" geometric constraints from operations in a graphical interface is an interesting problem. Realtime interactive edge routing is interesting, too. Have you looked at Tom Sawyer Software?