mirror of
https://github.com/Ponce/slackbuilds
synced 2024-10-01 06:32:51 +02:00
4 lines
178 B
Text
4 lines
178 B
Text
|
LADR includes some mathematical programs like
|
||
|
|
- prover 9 (automated theorem prover for first-order and equational logic)
|
||
|
|
- mace4 (search for finite models and counterexamples)
|