At a Glance
| Applications | SAT Solver SMT Solver Theorem Prover |
| Developers | Inria |
| Inputs | WhyML |
| Interfaces | CLI Why3 |
| Licenses | All Rights Reserved |
| Maintenance | Actively Maintained |
Description
Closed-Source Tool
SPASS: An Automated Theorem Prover for First-Order Logic with Equality