A Small Prolog on the Z3 AST

3 points| philzook | 11 months ago |philipzucker.com