▲ 2 pointsA real SAT solution. P is not always hardzenodo.orgby GeometryKernel·28d ago·0 comments·view on hn ↗