Hacker News Reader

So it's layer on top of the z3-solver right? That's a way to see it?

Yes. It uses a more convenient language than SMT-Lib to express "knowledge", and offers more functionality.