News for hackers. Stuff that matters.

A comment on Which answer in this list is the correct answer to this question? (2017). Parent comment

Re:Which answer in this list is the correct answer to this q... by felixyz on Friday November 15, 2019 @05:32AM (#21543787)
You should check this out, solving a somewhat similar type of problem using Alloy: https://www.hillelwayne.com/post/knights-knaves/
[ Parent | on HN ]

There are no comments on this comment yet.