←back to thread

99 points agnishom | 2 comments | | HN request time: 0.421s | source
1. croisillon ◴[] No.44363891[source]
related:

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

- with APL (10 days ago, 1 comment) https://news.ycombinator.com/item?id=44273489 and (8 days ago, 20 comments) https://news.ycombinator.com/item?id=44275900

- with MiniZinc (1 day ago, 0 comment) https://news.ycombinator.com/item?id=44353731

replies(1): >>44363917 #
2. agnishom ◴[] No.44363917[source]
- with SAT (27 days ago, 1 comment) https://news.ycombinator.com/item?id=44115866