From 0dfb55b5b484258cf5fc171e951db4d6b317d869 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Fri, 17 Jan 2014 19:17:58 +0100
Subject: [PATCH] Extend INSTALL by examples
---
INSTALL | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
diff --git a/INSTALL b/INSTALL
index 6bfba99..b727996 100644
--- a/INSTALL
+++ b/INSTALL
@@ -27,4 +27,26 @@ Benchmarking
You should remove the debug flag (-g) from the Makefile and recompile before
doing time measurements.
+Examples
+--------
+
+Coalition Logic
+~~~~~~~~~~~~~~~
+Some formulas are
+
+ [{1}] C & [{ 2 }] ~C
+ [{1}] C & <{ 2 }> ~C
+ [{1}] C & <{ 1 2 }> ~C
+ <{ 1 2 }> C & <{ 1 2 3 4 5 6 7 8 9 10 }> ~C
+ <{ 1 2 }> C & <{ 1 2 3 4 5 6 7 8 9 }> ~C
+ <{ 1 2 }> C & <{ 1 2 }> ~C
+ <{ 1 2 }> C & [{ 1 2 }] ~C
+ <{ 1 2 }> C & [{ 1 2 }] ~C
+
+So call for example:
+
+ ./coalg sat CL <<< '<{ 1 2 }> C & [{ 1 2 }] ~C'
+
+
+
// vim: ft=asciidoc tw=80
--
GitLab