Changeset 2420:07c4f9bcb4d5 in lemon-0.x

Timestamp:

04/18/07 18:34:40 (16 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:

• Makefile.am (modified) (3 diffs)
• sat-2.cc (added)
• sat.cc (added)

demo/Makefile.am

@@ -14 +14 @@
         demo/sub_gad_input.lgf \
         demo/u_components.lgf \
-        demo/steiner.lgf
+        demo/steiner.lgf \
+        demo/sat-2.in
 
 if WANT_DEMO
@@ -41 +42 @@
         demo/disjoint_paths_demo \
         demo/strongly_connected_orientation \
-        demo/steiner_demo
+        demo/steiner_demo \
+        demo/sat-2 \
+        demo/sat
 
 if HAVE_GLPK
@@ -109 +112 @@
 
 demo_steiner_demo_SOURCES=demo/steiner_demo.cc
+
+demo_sat_2_SOURCES=demo/sat-2.cc
+
+demo_sat_SOURCES=demo/sat.cc