At a Glance
| Applications | SAT Solver SMT Solver Theorem Prover |
| Developers | Intel |
| Inputs | WhyML |
| Interfaces | CLI Why3 |
| Licenses | MIT |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2020
Metis is an automatic theorem prover for first order logic with equality.