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

A Mastodon instance by and for lesbians 💜
See rules and guidelines for more informations.