News for hackers. Stuff that matters.
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...

There are no comments on this comment yet.