[Lemon-commits] deba: r3297 - lemon/trunk/demo

[Lemon SVN]

Author: deba
Date: Thu Jul  5 18:39:42 2007
New Revision: 3297

Added:
   lemon/trunk/demo/sat-2.in

Log:
Sample input for sat-2 and sat demos



Added: lemon/trunk/demo/sat-2.in
==============================================================================
--- (empty file)
+++ lemon/trunk/demo/sat-2.in	Thu Jul  5 18:39:42 2007
@@ -0,0 +1,3 @@
+x1 or x2
+x2 or not x3
+x3 or not x1