Wrote an article on solving my favorite number logic puzzle using a mixture of and Microsoft Research's Z3: ahf.me/articles/2020/05/01/sol

@ahf Only had time to skim for the moment, but looks like fun :-D. I used STP for static analysis in grad school but it seems like Z3 has become more popular since. Wonder how they compare...


@sporksmith Cool! I haven't had a look at STP before. I got very curious about Z3 after I read an article about using Z3 together with a C fuzzer to eliminate branches in code paths to reach higher coverage. I'm very impressed with how easy it is to program it.

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!