lheck

no profile record

Submissions

Conway's Game of Life in pure pickle for fun and profit

1 pointsby lheck3 tháng trước0 comments

My band of elephants is more accurate than your neural network

2 pointsby lhecknăm ngoái0 comments

comments

năm ngoáidiscuss

almost-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"))]])

năm ngoáidiscuss

Colleagues of mine are using it to verify concurrent programs: https://iris-project.org/tutorial-material.html