diff options
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 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: |