MCP server for Constraint, SAT, and SMT solving
Project description
The author of this package has not provided a project description
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
iflow_mcp_mcp_solver-3.4.0.tar.gz
(178.3 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file iflow_mcp_mcp_solver-3.4.0.tar.gz.
File metadata
- Download URL: iflow_mcp_mcp_solver-3.4.0.tar.gz
- Upload date:
- Size: 178.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: uv/0.6.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
31fbb7a6b1d2561d82c71fb5d84c05704bb39ed7776fe5dd99ab1a2b6009268e
|
|
| MD5 |
ab95433ceaa11e5a4aee8d863aa38c81
|
|
| BLAKE2b-256 |
f5d9f83aca2ef4ea6f959a0d3a32b9e85236a4d1a19342388b44d568a27e5d1f
|
File details
Details for the file iflow_mcp_mcp_solver-3.4.0-py3-none-any.whl.
File metadata
- Download URL: iflow_mcp_mcp_solver-3.4.0-py3-none-any.whl
- Upload date:
- Size: 178.3 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: uv/0.6.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
f982b2621a5fcf4a6d0c18cc5b408463cd0565b8c99883484e2e6d3264e25fbe
|
|
| MD5 |
6d4f4f797f73c007c0603aa0403d6e3e
|
|
| BLAKE2b-256 |
b7a077599617056aad83f671603766083f1e332a7c5ce149e0ea98b52ff4bf2c
|
