Hacker News new | ask | show | jobs
by pmiller2 2091 days ago
That’s far more sophisticated than I had imagined it would be before clicking the link. Has your friend done research in graph drawing, or SMT solvers?