changeset 2495 | e4f8367beb41 |
parent 2420 | 07c4f9bcb4d5 |
child 2497 | ea96c0acefc4 |
23:20c8c32db8ec | 24:7eaed55d4c20 |
---|---|
113 demo_steiner_demo_SOURCES=demo/steiner_demo.cc |
113 demo_steiner_demo_SOURCES=demo/steiner_demo.cc |
114 |
114 |
115 demo_sat_2_SOURCES=demo/sat-2.cc |
115 demo_sat_2_SOURCES=demo/sat-2.cc |
116 |
116 |
117 demo_sat_SOURCES=demo/sat.cc |
117 demo_sat_SOURCES=demo/sat.cc |
118 demo_sat_CXXFLAGS = $(GLPK_CFLAGS) $(CPLEX_CFLAGS) |