1.1 --- a/demo/Makefile.am Wed Apr 11 07:34:40 2007 +0000
1.2 +++ b/demo/Makefile.am Wed Apr 18 16:34:40 2007 +0000
1.3 @@ -13,7 +13,8 @@
1.4 demo/strongly_connected_orientation.lgf \
1.5 demo/sub_gad_input.lgf \
1.6 demo/u_components.lgf \
1.7 - demo/steiner.lgf
1.8 + demo/steiner.lgf \
1.9 + demo/sat-2.in
1.10
1.11 if WANT_DEMO
1.12
1.13 @@ -40,7 +41,9 @@
1.14 demo/simann_maxcut_demo \
1.15 demo/disjoint_paths_demo \
1.16 demo/strongly_connected_orientation \
1.17 - demo/steiner_demo
1.18 + demo/steiner_demo \
1.19 + demo/sat-2 \
1.20 + demo/sat
1.21
1.22 if HAVE_GLPK
1.23 noinst_PROGRAMS += demo/lp_demo demo/lp_maxflow_demo demo/mip_demo
1.24 @@ -107,4 +110,8 @@
1.25
1.26 demo_strongly_connected_orientation_SOURCES = demo/strongly_connected_orientation.cc
1.27
1.28 -demo_steiner_demo_SOURCES=demo/steiner_demo.cc
1.29 \ No newline at end of file
1.30 +demo_steiner_demo_SOURCES=demo/steiner_demo.cc
1.31 +
1.32 +demo_sat_2_SOURCES=demo/sat-2.cc
1.33 +
1.34 +demo_sat_SOURCES=demo/sat.cc
1.35 \ No newline at end of file