At a Glance
| Applications | SAT Solver SMT Solver Theorem Prover |
| Developers | CSIRO |
| Inputs | WhyML |
| Interfaces | CLI Online |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
Beagle is an automated theorem prover for first-order logic with equality over linear integer/rational/real arithmetic.