←back to thread

99 points agnishom | 1 comments | | HN request time: 1.007s | source
Show context
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 #
1. agnishom ◴[] No.44363917[source]
- with SAT (27 days ago, 1 comment) https://news.ycombinator.com/item?id=44115866