diff options
| author |   B. Watson | 2016-11-14 04:18:42 +0100 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo | 2016-11-14 10:47:23 +0100 |
| commit | 6b4bf0bc6a117022fb58136d739afeb61ad8dae7 (patch) | |
| tree | 4089788ce63cd175afed4684e7a56f718ac8f966 /academic/ladr | |
| parent | c78e1702d53cb09a50e46954e2215c87c1db7a7a (diff) | |
| download | slackbuilds-6b4bf0bc6a117022fb58136d739afeb61ad8dae7.tar.gz | |
academic/ladr: Fix slack-desc.
Diffstat (limited to 'academic/ladr')
| -rw-r--r-- | academic/ladr/slack-desc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/academic/ladr/slack-desc b/academic/ladr/slack-desc index 761e77fbd8..43ff7ad13d 100644 --- a/academic/ladr/slack-desc +++ b/academic/ladr/slack-desc @@ -9,9 +9,9 @@ ladr: ladr (Mathematical Programs) ladr: ladr: LADR includes some mathematical programs like -ladr: - prover 9 (automated theorem prover for first-order and equational -ladr: logic) -ladr: - mace4 (search for finite models and counterexamples) +ladr: - prover 9 (automated theorem prover for first-order and equational +ladr: logic) +ladr: - mace4 (search for finite models and counterexamples) ladr: ladr: Homepage: http://www.cs.unm.edu/~mccune/prover9/ ladr: |