News for hackers. Stuff that matters.

A comment on The IDP Knowledge Base System. Parent comment

Re:The IDP Knowledge Base System by anonzzzies on Tuesday November 21, 2023 @06:25AM (#38362213)
So it's layer on top of the z3-solver right? That's a way to see it?
[ Parent | on HN ]
Re:The IDP Knowledge Base System by pcarbonn on Tuesday November 21, 2023 @06:28AM (#38362241)
Yes. It uses a more convenient language than SMT-Lib to express "knowledge", and offers more functionality.
[ Parent | on HN ]