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.0.tar.gz
(47.3 kB
view details)
Built Distribution
File details
Details for the file deal-solver-0.1.0.tar.gz.
File metadata
- Download URL: deal-solver-0.1.0.tar.gz
- Upload date:
- Size: 47.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: python-requests/2.25.1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | c42300b2bdf01df7315b409613145440bb393fbace0c2fd9795f59513c7a1990 |
|
| MD5 | 246cefe443a3c852cdd966c912251fa8 |
|
| BLAKE2b-256 | 1d7f2516e45c5c68f7cdf87bc2f3c0c394bbc370295ef592841465e11a37d730 |
File details
Details for the file deal_solver-0.1.0-py3-none-any.whl.
File metadata
- Download URL: deal_solver-0.1.0-py3-none-any.whl
- Upload date:
- Size: 47.6 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: python-requests/2.25.1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | ceb33883072c96141a5c25d497f9ffb459a2b7baebc50f4182ae10fd58ada1a1 |
|
| MD5 | eb73ba6973348aa2567c2789819b58e7 |
|
| BLAKE2b-256 | 0f575d5bd9a3acbc6c1474030ac9b8fe2ab13cd9bb46062d2d6e0960f89357c7 |
