in

SMT Solving on an iPhone

SMT Solving on an iPhone
5 November 2018
Why buy an expensive desktop computer when your iPhone is a faster SMT solver?
A few days ago, I tweeted this:
fun experiment: my new iPhone runs Z3 fast…
Leggi tutto

What do you think?

193 points
Upvote Downvote

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *

Bill Gates on Covid: Most US Tests Are ‘Completely Garbage’ thumbnail

Bill Gates on Covid: Most US Tests Are ‘Completely Garbage’

Dorking (how to find anything on the Internet)