top | new | best | ask | show | jobs

top | item 20202650

Solving Knights and Knaves with Z3

1 points| jamiecollinson | 6 years ago |jamiecollinson.com

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com