All Git Users → jamesbornholt

2 open source projects by jamesbornholt

[ Open user page on Github ]

run z3 on iOS for some reason

✭ 34

A synthesis-enabled solver for relational logic

✭ 20

1-2 of 2 user projects