# HG changeset patch
# User deba
# Date 1183653582 0
# Node ID ea943997a8fe7975d5a4ca91078795f850ee59a5
# Parent  93b4132ac1e8dc0667a46eed4ff4ec48ee02d973
Sample input for sat-2 and sat demos

diff -r 93b4132ac1e8 -r ea943997a8fe demo/sat-2.in
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/demo/sat-2.in	Thu Jul 05 16:39:42 2007 +0000
@@ -0,0 +1,3 @@
+x1 or x2
+x2 or not x3
+x3 or not x1