USolverCode ExecutionAutonomous AgentsApp AutomationsdiehlAlicenseBqualityFmaintenanceA best-effort universal logic and numerical solver interface using MCP that implements the 'LLM sandwich' model to process queries, call dedicated solvers (ortools, cvxpy, z3), and verbalize results. Updated 4 months ago (2026-05-19 14:24 UTC)765Apache 2.0