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.
Project details
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.1.tar.gz
(47.6 kB
view hashes)
Built Distribution
Close
Hashes for deal_solver-0.1.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3f39413c6ee3f6e896194749be179eab9bb77138781e873d6a29ca14f1a6afed |
|
MD5 | f8cdde3995dbce31e04c1a1678e0521c |
|
BLAKE2b-256 | 6bb696af9892510c86c16a573161bbe1604d9e9877460b8c7a94d72ceeff409f |