alt
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 :)