diff options
| author | B. Watson <yalhcru@gmail.com> | 2016-11-13 22:18:42 -0500 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-11-14 16:47:23 +0700 |
| commit | 6b4bf0bc6a117022fb58136d739afeb61ad8dae7 (patch) | |
| tree | 4089788ce63cd175afed4684e7a56f718ac8f966 | |
| parent | c78e1702d53cb09a50e46954e2215c87c1db7a7a (diff) | |
academic/ladr: Fix slack-desc.
| -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 761e77fbd80f1..43ff7ad13dbc5 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: |