undefined | Better HN

0 pointsanonzzzies2y ago0 comments

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

0 comments

1 comments · 1 top-level

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

j / k navigate · click thread line to collapse