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/README | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 academic/ladr/README (limited to 'academic/ladr/README') diff --git a/academic/ladr/README b/academic/ladr/README new file mode 100644 index 0000000000..2bee5905d9 --- /dev/null +++ b/academic/ladr/README @@ -0,0 +1,3 @@ +LADR includes some mathematical programs like + - prover 9 (automated theorem prover for first-order and equational logic) + - mace4 (search for finite models and counterexamples) -- cgit v1.2.3-80-g2a13