Hacker News new | ask | show | jobs
A Small Prolog on the Z3 AST (philipzucker.com)
3 points by philzook 436 days ago