RT @das_kube

I finally wrote a post on how to write SMT solvers in with mSAT: here, a SAT-powered Sudoku solver in 260 lines, with an in-browser demo. . (Also my first usage of typescript.)


@kit_ty_kate Hey ! My good friend `('a -> unit) -> unit` ! Long time no see : )
Sign in to participate in the conversation
Lesbiab Space

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!