GitHub repository: sdiehl/usolver
Primary language: Python
Created: 2025-06-02T14:49:51Z
Description: A best-effort universal numerical, logical and symbolic solver interface for MCP