deal-solver (pypi): z3-powered solver (theorem prover) for deal.
Keywords: deal|contracts|verification