Re:The Power of Prolog
by sriram_malhar on Saturday April 08, 2017 @12:48AM
(#14065363)
My z3 based solution in python looks like this:
https://gist.github.com/sriram-srinivasan/2981825217f0802d9f...
[ Parent
| on HN ]
There are no comments on this comment yet.