COIN-OR::LEMON - Graph Library

Changeset 2420:07c4f9bcb4d5 in lemon-0.x for demo


Ignore:
Timestamp:
04/18/07 18:34:40 (13 years ago)
Author:
Balazs Dezso
Branch:
default
Phase:
public
Convert:
svn:c9d7d8f5-90d6-0310-b91f-818b3a526b0e/lemon/trunk@3255
Message:

Demo program for SAT problems

Location:
demo
Files:
2 added
1 edited

Legend:

Unmodified
Added
Removed
  • demo/Makefile.am

    r2404 r2420  
    1414        demo/sub_gad_input.lgf \
    1515        demo/u_components.lgf \
    16         demo/steiner.lgf
     16        demo/steiner.lgf \
     17        demo/sat-2.in
    1718
    1819if WANT_DEMO
     
    4142        demo/disjoint_paths_demo \
    4243        demo/strongly_connected_orientation \
    43         demo/steiner_demo
     44        demo/steiner_demo \
     45        demo/sat-2 \
     46        demo/sat
    4447
    4548if HAVE_GLPK
     
    109112
    110113demo_steiner_demo_SOURCES=demo/steiner_demo.cc
     114
     115demo_sat_2_SOURCES=demo/sat-2.cc
     116
     117demo_sat_SOURCES=demo/sat.cc
Note: See TracChangeset for help on using the changeset viewer.