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.1.tar.gz
(180.5 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.1.tar.gz.
File metadata
- Download URL: iflow_mcp_mcp_solver-3.4.1.tar.gz
- Upload date:
- Size: 180.5 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: uv/0.6.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
ab787593c4825020cff3d7d37bd41ade0beea07c967157dcec5002113aef7ce3
|
|
| MD5 |
11d94482cdaa01d4ed93654e0f579afc
|
|
| BLAKE2b-256 |
972d2de4d9c0bdea3c4715036be937c3807fdd9900e8d899a8c10c7d17743b70
|
File details
Details for the file iflow_mcp_mcp_solver-3.4.1-py3-none-any.whl.
File metadata
- Download URL: iflow_mcp_mcp_solver-3.4.1-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 |
3db8b2de70b6aea5880e0eb09a498b6923978728cba98cf9bc46a857ecbbb291
|
|
| MD5 |
99d6e212d4c3ca069e28206bbaeea282
|
|
| BLAKE2b-256 |
beb7564111e3f9b28874bfa2a734a1b2890a27d0495cdecc51b38fbef8dd5fb5
|
