Repository info

deal-solver

• Summary: a summary of deal-solver
• Description: z3-powered solver (theorem prover) for deal
• Stars: 12
• Number of forks: 2