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