You can do it Z3! I believe in you! (That is runtime in hours, not time of day) Found and fixed another nasty bug in my processor today :)pic.twitter.com/HhqFMxNXDL
Show this thread
Have you tried Yices or Boolector? Z3 is usually pretty slow compared to those other solvers.
-
-
I’ll second that! I’ve had great results with Boolector. Unfortunately, it’s a pain the build, but that’s a different issue...
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.