z3-powered solver (theorem prover) for deal.
Project Links
Meta
Author: Gram
Requires Python: >=3.7
Classifiers
Development Status
- 5 - Production/Stable
Environment
- Plugins
Intended Audience
- Developers
License
- OSI Approved :: MIT License
Programming Language
- Python
Topic
- Software Development
- Software Development :: Libraries :: Python Modules
- Software Development :: Quality Assurance
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.
