GitHub repository: life4/deal-solver
Primary language: Python
Description: z3-powered solver (theorem prover) for deal