Conway's Game of Life in pure pickle for fun and profitlinus.space1 points·by lheck·3 माह पहले·0 comments
My band of elephants is more accurate than your neural networklinus.space2 points·by lheck·पिछला वर्ष·0 comments
lheck·पिछला वर्ष·discussalmost-one-liner (though it will give you the full model): import z3; z3.solve([z3.Sum([ord(a) == z3.Int(f"k{i}") for i, a in enumerate(r[0])]) == r[1] for r in [("bbababbabb", 7), ("baaababaaa", 5), ("baaabbbaba", 3), ("bbaaabbaaa", z3.Int("x"))]])
lheck·पिछला वर्ष·discussColleagues of mine are using it to verify concurrent programs: https://iris-project.org/tutorial-material.html