Hacker News new | ask | show | jobs
Solving Knights and Knaves with Z3 (jamiecollinson.com)
1 points by jamiecollinson 2554 days ago