Hacker News new | ask | show | jobs
by motxilo 5557 days ago
As a practical use, a while ago I "resolved" the Einstein's Riddle using this operator: http://ticsblog.com/2010/12/07/solving-einsteins-riddle-usin...