SMT Solving on an iPhone (2018)

Smt solvers and other 'old a.i.' workloads depend mainly on memory performance under unpredictably branching workloads, which the iPhone chips …
View full source