blob: 2bee5905d98442ecf3c71aaf2b93ff909958ce8d (
about) (
plain) (
blame)
1
2
3
|
LADR includes some mathematical programs like
- prover 9 (automated theorem prover for first-order and equational logic)
- mace4 (search for finite models and counterexamples)
|