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

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

0 pointsanonzzzies2y ago0 comments

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.

j / k navigate · click thread line to collapse