diff -r 6a567c0f1214 -r 07c4f9bcb4d5 demo/Makefile.am
--- a/demo/Makefile.am	Wed Apr 11 07:34:40 2007 +0000
+++ b/demo/Makefile.am	Wed Apr 18 16:34:40 2007 +0000
@@ -13,7 +13,8 @@
 	demo/strongly_connected_orientation.lgf \
 	demo/sub_gad_input.lgf \
 	demo/u_components.lgf \
-	demo/steiner.lgf
+	demo/steiner.lgf \
+	demo/sat-2.in
 
 if WANT_DEMO
 
@@ -40,7 +41,9 @@
 	demo/simann_maxcut_demo \
 	demo/disjoint_paths_demo \
 	demo/strongly_connected_orientation \
-	demo/steiner_demo
+	demo/steiner_demo \
+	demo/sat-2 \
+	demo/sat
 
 if HAVE_GLPK
 noinst_PROGRAMS += demo/lp_demo demo/lp_maxflow_demo demo/mip_demo
@@ -107,4 +110,8 @@
 
 demo_strongly_connected_orientation_SOURCES = demo/strongly_connected_orientation.cc
 
-demo_steiner_demo_SOURCES=demo/steiner_demo.cc
\ No newline at end of file
+demo_steiner_demo_SOURCES=demo/steiner_demo.cc
+
+demo_sat_2_SOURCES=demo/sat-2.cc
+
+demo_sat_SOURCES=demo/sat.cc
\ No newline at end of file