https://jamesbornholt.com [email protected]
@aws Seattle computerer
James Bornholt
A synthesis-enabled solver for relational logic
jamesbornholt
plots stuff
run z3 on iOS for some reason