summaryrefslogtreecommitdiff
path: root/academic/ladr/README
blob: 2bee5905d98442ecf3c71aaf2b93ff909958ce8d (plain)
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)