Solvers

Parcourir tout le contenu dans la catégorie Solvers

Mcp servers

Serveur MCP Solver MCP

MCP Solver est un serveur Model Context Protocol (MCP) offrant des fonctionnalités avancées de SAT, SMT et d’optimisation sous contraintes pour les assistants IA et LLMs. Il permet la création interactive, la modification et la résolution de modèles mathématiques complexes, simplifiant les flux de travail en recherche, ingénierie et prise de décision.

AI Constraint Solving SAT +4
• 5 min read

Autres Catégories

mcp servers (630) glossary (307) integrations (216) flows (209) components (126) content (30) integration (23) automation (20) productivity (17) application (16)