lheck

no profile record

Submissions

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

linus.space

1 pointsby lheck3 ay önce0 comments

My band of elephants is more accurate than your neural network

linus.space

2 pointsby lheckgeçen yıl0 comments

comments

lheck

geçen yıldiscuss

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

lheck

geçen yıldiscuss

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