Hacker News new | ask | show | jobs
by dvh 573 days ago
When it comes to sat solvers I have to recommend this excellent video: backwards game of life https://youtube.com/watch?v=g8pjrVbdafY