z3-powered solver (theorem prover) for deal.
Project description
deal-solver
z3-powered solver (theorem prover) for deal.
python3 -m pip install deal-solver
CLI
For CLI usage, see the deal documentation. The solver doesn't provide a CLI on its own.
API
Deal-solver is created specifically for deal. So, if you want to use it with another tool, you have to mimic deal. It's not hard, though. See TestTheorem implementation in tests/helpers.py.
The project state
This is an experimental project. it supports only limited subset of syntax an types. Still, it works for some simple cases. So, give it a try, it is free.
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
deal_solver-0.1.2.tar.gz
(46.8 kB
view details)
Built Distribution
File details
Details for the file deal_solver-0.1.2.tar.gz.
File metadata
- Download URL: deal_solver-0.1.2.tar.gz
- Upload date:
- Size: 46.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: python-requests/2.31.0
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 7feac330346fd28f41b04ad62da9b1f1419aa7d9e37eaa4e5098de9ff2d5d66f |
|
| MD5 | 34a57cec93d2e6301c5585739407e587 |
|
| BLAKE2b-256 | 6c47af5b3cb61f455d8102a6af1e5b11ef515e0073d0ec9a3cc0218ac87e6fba |
File details
Details for the file deal_solver-0.1.2-py3-none-any.whl.
File metadata
- Download URL: deal_solver-0.1.2-py3-none-any.whl
- Upload date:
- Size: 48.0 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: python-requests/2.31.0
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 0d657a28368acd416f4031d3f42a86cc7db1b6ce3c08621e9895c6f41a85f3ec |
|
| MD5 | cefe396297d8c4cce0a3bf81af52c80e |
|
| BLAKE2b-256 | 8e7f7716ba99fd0199a6c33d12ae537866da4dcabc61668091875a10343b8b41 |
