Mastodon Feed
nadim@infosec.exchange ("Nadim Kobeissi") wrote:
I wrote a fully functioning SAT solver in Rust (been working on it on and off since March). It now works well enough to pass a few hundred tests, but probably needs more polish before I throw it on GitHub.