z3-ios

SMT ★ 38 updated 3y ago

run z3 on iOS for some reason

No plain-English explanation yet — one is being written right now. Check back in a minute.