logoalt Hacker News

alfiedotwtf • today at 1:07 AM • 0 replies • view on HN

A common layout implementation is to provide constraints to a SAT Solver… so you were close :)