Formal Optimisation
savanty: Bridging Natural Language and Mathematical Solvers in 2026
How savanty turns English problem descriptions into mathematically guaranteed solutions. The case for LLM-to-formal-solver pipelines over pure LLM output.
constraint-satisfactionSMT solverZ3