News for hackers. Stuff that matters.

A comment on What Is miniKanren?. Parent comment

Re:What Is miniKanren? by debugnik on Thursday January 02, 2025 @11:20AM (#42575768)
If you're interested in SMT solvers, the Z3 bindings for Python are very easy to use.
[ Parent | on HN ]

There are no comments on this comment yet.