Hacker News new | ask | show | jobs
by anonzzzies 945 days ago
So it's layer on top of the z3-solver right? That's a way to see it?
1 comments
pcarbonn 945 days ago
Yes. It uses a more convenient language than SMT-Lib to express "knowledge", and offers more functionality.
link