diff options
| author | Heinz Wiesinger <pprkut@liwjatan.at> | 2010-05-13 00:20:07 +0200 |
|---|---|---|
| committer | Erik Hanson <erik@slackbuilds.org> | 2010-05-13 00:20:07 +0200 |
| commit | 060d2498f52279d67d50754863fe0f6d0191ef4e (patch) | |
| tree | 62264dcd8d552eb79b1bf039ed261d3d972f713c /academic/ladr/slack-desc | |
| parent | fbbff75475642643a58cf8be8d0d576e81a61339 (diff) | |
academic/ladr: Updated for version 2009_11A
Diffstat (limited to 'academic/ladr/slack-desc')
| -rw-r--r-- | academic/ladr/slack-desc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/academic/ladr/slack-desc b/academic/ladr/slack-desc index 0e9a2a4d73c8..7939499621c0 100644 --- a/academic/ladr/slack-desc +++ b/academic/ladr/slack-desc @@ -5,11 +5,11 @@ # make exactly 11 lines for the formatting to be correct. It's also # customary to leave one space after the ':'. - |-----handy-ruler------------------------------------------------------| + |-----handy-ruler-------------------------------------------------------| ladr: ladr (Mathematical Programs) ladr: ladr: LADR includes some mathematical programs like -ladr: - prover 9 (automated theorem prover for first-order and equational +ladr: - prover 9 (automated theorem prover for first-order and equational ladr: logic) ladr: - mace4 (search for finite models and counterexamples) ladr: |