iflow-mcp_mcp-solver
MCP server for Constraint, SAT, and SMT solving
Activity
- Latest release
- 9mo ago
- Total releases
- 2
- Cadence
- ~daily
- Last 12 months
- 2
Details
- First release
- Nov 19, 2025
Releases
| Version | Released | |
|---|---|---|
3.4.1
patch
|
3.4.1
patch
Dependencies (23)
+ 15 more |
|
3.4.0
initial
|
3.4.0
initial
Dependencies (23)
+ 15 more |