Hi guy, I am author of Spur , I want to share the Spur solver which is backed by z3 for neuro-symbolic reasoning, combining probabilistic language models with mathematical constraint solving The ideal here : LLM will give out constranst and translate the constranst to the z3 SMT language, then g...
Source: [Hacker News](https://github.com/getspur/spur/tree/main/crates/spur-solver)