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