Active filters:
constraint solving
Clear all
AM

A Model Context Protocol (MCP) server that exposes SAT, SMT and constraint solving capabilities to Large Language Models.

The MCP Solver integrates SAT, SMT and Constraint Solving with LLMs through the Model Context Protocol, enabling AI mode...

SO

Solver

Solves constraint satisfaction and optimization problems .