From 4994e71c55c551c7d23b4c5530c5430bdd6b7f23 Mon Sep 17 00:00:00 2001
From: Heinz Wiesinger
Date: Tue, 11 May 2010 20:00:01 +0200
Subject: academic/ladr: Added to 12.0 repository

---
 academic/ladr/slack-desc | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 academic/ladr/slack-desc

(limited to 'academic/ladr/slack-desc')

diff --git a/academic/ladr/slack-desc b/academic/ladr/slack-desc
new file mode 100644
index 0000000000..0e9a2a4d73
--- /dev/null
+++ b/academic/ladr/slack-desc
@@ -0,0 +1,19 @@
+# HOW TO EDIT THIS FILE:
+# The "handy ruler" below makes it easier to edit a package description.  Line
+# up the first '|' above the ':' following the base package name, and the '|'
+# on the right side marks the last column you can put a character in.  You must
+# make exactly 11 lines for the formatting to be correct.  It's also
+# customary to leave one space after the ':'.
+
+    |-----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:    logic)
+ladr:  - mace4 (search for finite models and counterexamples)
+ladr:
+ladr: Homepage: http://www.cs.unm.edu/~mccune/prover9/
+ladr:
+ladr:
+ladr:
-- 
cgit v1.2.3