Follow

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.
blag.cedeela.fr/sudoku-msat/ . (Also my first usage of typescript.)

🐦🔗: twitter.com/das_kube/status/11

@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.