equal
deleted
inserted
replaced
11 demo/sample.lgf \ |
11 demo/sample.lgf \ |
12 demo/simann_maxcut_demo.lgf \ |
12 demo/simann_maxcut_demo.lgf \ |
13 demo/strongly_connected_orientation.lgf \ |
13 demo/strongly_connected_orientation.lgf \ |
14 demo/sub_gad_input.lgf \ |
14 demo/sub_gad_input.lgf \ |
15 demo/u_components.lgf \ |
15 demo/u_components.lgf \ |
16 demo/steiner.lgf |
16 demo/steiner.lgf \ |
|
17 demo/sat-2.in |
17 |
18 |
18 if WANT_DEMO |
19 if WANT_DEMO |
19 |
20 |
20 noinst_PROGRAMS += \ |
21 noinst_PROGRAMS += \ |
21 demo/arg_parser_demo \ |
22 demo/arg_parser_demo \ |
38 demo/topology_demo \ |
39 demo/topology_demo \ |
39 demo/topological_ordering \ |
40 demo/topological_ordering \ |
40 demo/simann_maxcut_demo \ |
41 demo/simann_maxcut_demo \ |
41 demo/disjoint_paths_demo \ |
42 demo/disjoint_paths_demo \ |
42 demo/strongly_connected_orientation \ |
43 demo/strongly_connected_orientation \ |
43 demo/steiner_demo |
44 demo/steiner_demo \ |
|
45 demo/sat-2 \ |
|
46 demo/sat |
44 |
47 |
45 if HAVE_GLPK |
48 if HAVE_GLPK |
46 noinst_PROGRAMS += demo/lp_demo demo/lp_maxflow_demo demo/mip_demo |
49 noinst_PROGRAMS += demo/lp_demo demo/lp_maxflow_demo demo/mip_demo |
47 else !HAVE_GLPK |
50 else !HAVE_GLPK |
48 if HAVE_CPLEX |
51 if HAVE_CPLEX |
106 demo_disjoint_paths_demo_SOURCES = demo/disjoint_paths_demo.cc |
109 demo_disjoint_paths_demo_SOURCES = demo/disjoint_paths_demo.cc |
107 |
110 |
108 demo_strongly_connected_orientation_SOURCES = demo/strongly_connected_orientation.cc |
111 demo_strongly_connected_orientation_SOURCES = demo/strongly_connected_orientation.cc |
109 |
112 |
110 demo_steiner_demo_SOURCES=demo/steiner_demo.cc |
113 demo_steiner_demo_SOURCES=demo/steiner_demo.cc |
|
114 |
|
115 demo_sat_2_SOURCES=demo/sat-2.cc |
|
116 |
|
117 demo_sat_SOURCES=demo/sat.cc |