2 ms·
So it's layer on top of the z3-solver right? That's a way to see it?
by anonzzzies 3y ago
So it's layer on top of the z3-solver right? That's a way to see it?
- pcarbonn 3y agoYes. It uses a more convenient language than SMT-Lib to express "knowledge", and offers more functionality.