Follow

My mind is being blown by what you can do with SAT/SMT solvers in Python. You can use them to solve sudoku puzzles in just a handful of lines! I'm starting to wonder what you can't do with them...

yurichev.com/writings/SAT_SMT_

Sign in to participate in the conversation
Fosstodon

Fosstodon is a Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.