News for hackers. Stuff that matters.

A comment on The Z3 Theorem Prover. Parent comment

Re:The Z3 Theorem Prover by pron on Sunday June 02, 2019 @07:17AM (#20074776)
OK, so what happens when it fails to find a candidate?
[ Parent | on HN ]
Re:The Z3 Theorem Prover by glangdale on Sunday June 02, 2019 @08:23AM (#20075020)
Then you learned something, I guess ("solving is hard"). I see a lot of timeouts with mine. Mine is 'easy' in that I'm looking for SIMD programs so the domain is essentially u8 "in lane only" SIMD code, so the small bit-width makes life easier.
[ Parent | on HN ]