mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-22 19:44:21 +01:00
45c34e6507
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> |
||
|---|---|---|
| .. | ||
| ladr-libtoolize.diff | ||
| ladr.info | ||
| ladr.SlackBuild | ||
| README | ||
| slack-desc | ||
LADR includes some mathematical programs like - prover 9 (automated theorem prover for first-order and equational logic) - mace4 (search for finite models and counterexamples)