z3-powered solver (theorem prover) for deal.
python3 -m pip install deal-solverFor CLI usage, see the deal documentation. The solver doesn't provide a CLI on its own.
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.
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.