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