related: - with SMT (11 days ago, 47 comments) https://news.ycombinator.com/item?id=44259476 https://news.ycombinator.com/item?id=44259476 - with APL (10 days

related: - with SMT (11 days ago, 47 comments) https://news.ycombinator.com/item?id=44259476 https://news.ycombinator.com/item?id=44259476 - with APL (10 days ago, 1 comment) https://news.ycombinator.com/item?id=44273489 https://news.ycombinator.com/item?id=44273489 and (8 days ago, 20 comments) https://news.ycombinator.com/item?id=44275900 https://news.ycombinator.com/item?id=44275900 - with MiniZinc (1 day ago, 0 comment) https://news.ycombinator.com/item?id=44353731 https://news.ycombinator.com/item?id=44353731