# # ChangeLog for demo/sat.cc in lemon-0.x # # Generated by Trac 1.2.3 # 11/08/24 23:45:58 Mon, 07 Jan 2008 13:09:48 GMT Alpar Juttner [2553:bfced05fa852] * benchmark/bench_tools.h (modified) * benchmark/bfs-bench.cc (modified) * benchmark/edge_lookup.cc (modified) * benchmark/graph-bench.cc (modified) * benchmark/hcube.cc (modified) * benchmark/min_cut.cc (modified) * benchmark/min_cut_graphs.h (modified) * benchmark/radix_sort-bench.cc (modified) * benchmark/random_bench.cc (modified) * benchmark/swap_bipartite_bench.cc (modified) * demo/arg_parser_demo.cc (modified) * demo/circulation_demo.cc (modified) * demo/coloring.cc (modified) * demo/csp_demo.cc (modified) * demo/descriptor_map_demo.cc (modified) * demo/dijkstra_demo.cc (modified) * demo/dim_to_dot.cc (modified) * demo/disjoint_paths_demo.cc (modified) * demo/eps_demo.cc (modified) * demo/graph_orientation.cc (modified) * demo/graph_to_eps_demo.cc (modified) * demo/grid_ugraph_demo.cc (modified) * demo/hello_lemon.cc (modified) * demo/hello_world.cc (modified) * demo/kruskal_demo.cc (modified) * demo/lp_demo.cc (modified) * demo/lp_maxflow_demo.cc (modified) * demo/maps_summary.cc (modified) * demo/min_route.cc (modified) * demo/mip_demo.cc (modified) * demo/reader_writer_demo.cc (modified) * demo/sat-2.cc (modified) * demo/sat.cc (modified) * demo/simann_maxcut_demo.cc (modified) * demo/steiner_demo.cc (modified) * demo/strongly_connected_orientation.cc (modified) * demo/sub_graph_adaptor_demo.cc (modified) * demo/tight_edge_filter_map.h (modified) * demo/topological_ordering.cc (modified) * demo/topology_demo.cc (modified) * doc/algorithms.dox (modified) * doc/basic_concepts.dox (modified) * doc/coding_style.dox (modified) * doc/developers.dox (modified) * doc/developers_interface.dox (modified) * doc/dirs.dox (modified) * doc/getstart.dox (modified) * doc/getting_started.dox (modified) * doc/graph-adaptors.dox (modified) * doc/graph_io.dox (modified) * doc/graph_orientation.dox (modified) * doc/graphs.dox (modified) * doc/groups.dox (modified) * doc/lemon_file_format.dox (modified) * doc/license.dox (modified) * doc/mainpage.dox (modified) * doc/maps.dox (modified) * doc/maps1.dox (modified) * doc/maps2.dox (modified) * doc/named-param.dox (modified) * doc/namespaces.dox (modified) * doc/quicktour.dox (modified) * doc/read_write_bg.dox (modified) * doc/template.h (modified) * doc/tutorial.dox (modified) * doc/ugraphs.dox (modified) * lemon/arg_parser.cc (modified) * lemon/arg_parser.h (modified) * lemon/attic/debug.h (modified) * lemon/base.cc (modified) * lemon/bellman_ford.h (modified) * lemon/bfs.h (modified) * lemon/bin_heap.h (modified) * lemon/bipartite_matching.h (modified) * lemon/bits/alteration_notifier.h (modified) * lemon/bits/array_map.h (modified) * lemon/bits/base_extender.h (modified) * lemon/bits/bezier.h (modified) * lemon/bits/debug_map.h (modified) * lemon/bits/default_map.h (modified) * lemon/bits/edge_set_extender.h (modified) * lemon/bits/graph_adaptor_extender.h (modified) * lemon/bits/graph_extender.h (modified) * lemon/bits/invalid.h (modified) * lemon/bits/item_reader.h (modified) * lemon/bits/item_writer.h (modified) * lemon/bits/lp_id.h (modified) * lemon/bits/map_extender.h (modified) * lemon/bits/mingw32_time.cc (modified) * lemon/bits/mingw32_time.h (modified) * lemon/bits/path_dump.h (modified) * lemon/bits/traits.h (modified) * lemon/bits/utility.h (modified) * lemon/bits/variant.h (modified) * lemon/bits/vector_map.h (modified) * lemon/bpugraph_adaptor.h (modified) * lemon/bucket_heap.h (modified) * lemon/capacity_scaling.h (modified) * lemon/circulation.h (modified) * lemon/color.cc (modified) * lemon/color.h (modified) * lemon/concept_check.h (modified) * lemon/concepts/bpugraph.h (modified) * lemon/concepts/graph.h (modified) * lemon/concepts/graph_components.h (modified) * lemon/concepts/heap.h (modified) * lemon/concepts/maps.h (modified) * lemon/concepts/matrix_maps.h (modified) * lemon/concepts/path.h (modified) * lemon/concepts/ugraph.h (modified) * lemon/counter.h (modified) * lemon/csp.h (modified) * lemon/cycle_canceling.h (modified) * lemon/dag_shortest_path.h (modified) * lemon/dfs.h (modified) * lemon/dijkstra.h (modified) * lemon/dim2.h (modified) * lemon/dimacs.h (modified) * lemon/dinitz_sleator_tarjan.h (modified) * lemon/dist_log.h (modified) * lemon/dynamic_tree.h (modified) * lemon/edge_set.h (modified) * lemon/edmonds_karp.h (modified) * lemon/elevator.h (modified) * lemon/eps.cc (modified) * lemon/eps.h (modified) * lemon/error.h (modified) * lemon/euler.h (modified) * lemon/fib_heap.h (modified) * lemon/floyd_warshall.h (modified) * lemon/fredman_tarjan.h (modified) * lemon/full_graph.h (modified) * lemon/goldberg_tarjan.h (modified) * lemon/gomory_hu_tree.h (modified) * lemon/graph_adaptor.h (modified) * lemon/graph_reader.h (modified) * lemon/graph_to_eps.h (modified) * lemon/graph_utils.h (modified) * lemon/graph_writer.h (modified) * lemon/grid_ugraph.h (modified) * lemon/hao_orlin.h (modified) * lemon/hypercube_graph.h (modified) * lemon/iterable_maps.h (modified) * lemon/johnson.h (modified) * lemon/kruskal.h (modified) * lemon/lemon_reader.h (modified) * lemon/lemon_writer.h (modified) * lemon/list_graph.h (modified) * lemon/lp.h (modified) * lemon/lp_base.cc (modified) * lemon/lp_base.h (modified) * lemon/lp_cplex.cc (modified) * lemon/lp_cplex.h (modified) * lemon/lp_glpk.cc (modified) * lemon/lp_glpk.h (modified) * lemon/lp_skeleton.cc (modified) * lemon/lp_skeleton.h (modified) * lemon/lp_soplex.cc (modified) * lemon/lp_soplex.h (modified) * lemon/lp_utils.h (modified) * lemon/map_iterator.h (modified) * lemon/maps.h (modified) * lemon/matrix_maps.h (modified) * lemon/max_matching.h (modified) * lemon/min_cost_arborescence.h (modified) * lemon/min_cost_flow.h (modified) * lemon/min_cost_max_flow.h (modified) * lemon/min_mean_cycle.h (modified) * lemon/mip_cplex.cc (modified) * lemon/mip_cplex.h (modified) * lemon/mip_glpk.cc (modified) * lemon/mip_glpk.h (modified) * lemon/nagamochi_ibaraki.h (modified) * lemon/nauty_reader.h (modified) * lemon/network_simplex.h (modified) * lemon/path.h (modified) * lemon/path_utils.h (modified) * lemon/planarity.h (modified) * lemon/polynomial.h (modified) * lemon/pr_bipartite_matching.h (modified) * lemon/preflow.h (modified) * lemon/prim.h (modified) * lemon/radix_heap.h (modified) * lemon/radix_sort.h (modified) * lemon/random.cc (modified) * lemon/random.h (modified) * lemon/refptr.h (modified) * lemon/simann.h (modified) * lemon/smart_graph.h (modified) * lemon/ssp_min_cost_flow.h (modified) * lemon/static_graph.h (modified) * lemon/steiner.h (modified) * lemon/sub_graph.h (modified) * lemon/suurballe.h (modified) * lemon/tabu_search.h (modified) * lemon/time_measure.h (modified) * lemon/tolerance.h (modified) * lemon/topology.h (modified) * lemon/ugraph_adaptor.h (modified) * lemon/unionfind.h (modified) * lemon/vmap.h (modified) * scripts/update-copyright-header (modified) * test/all_pairs_shortest_path_test.cc (modified) * test/arborescence_test.cc (modified) * test/bfs_test.cc (modified) * test/bipartite_matching_test.cc (modified) * test/bpugraph_test.cc (modified) * test/counter_test.cc (modified) * test/dfs_test.cc (modified) * test/dijkstra_test.cc (modified) * test/dim_test.cc (modified) * test/edge_set_test.cc (modified) * test/error_test.cc (modified) * test/graph_adaptor_test.cc (modified) * test/graph_copy_test.cc (modified) * test/graph_factory_test.cc (modified) * test/graph_test.cc (modified) * test/graph_test.h (modified) * test/graph_utils_test.cc (modified) * test/graph_utils_test.h (modified) * test/heap_test.cc (modified) * test/heap_test.h (modified) * test/kruskal_test.cc (modified) * test/lp_test.cc (modified) * test/map_test.h (modified) * test/maps_test.cc (modified) * test/matrix_maps_test.cc (modified) * test/max_matching_test.cc (modified) * test/max_weighted_matching_test.cc (modified) * test/min_cost_flow_test.cc (modified) * test/mip_test.cc (modified) * test/path_test.cc (modified) * test/polynomial_test.cc (modified) * test/preflow_test.cc (modified) * test/radix_sort_test.cc (modified) * test/random_test.cc (modified) * test/refptr_test.cc (modified) * test/simann_test.cc (modified) * test/suurballe_test.cc (modified) * test/test_tools.h (modified) * test/test_tools_fail.cc (modified) * test/test_tools_pass.cc (modified) * test/time_measure_test.cc (modified) * test/ugraph_test.cc (modified) * test/unionfind_test.cc (modified) * tools/dim_to_lgf.cc (modified) * tools/lgf-gen.cc (modified) Happy New Year to LEMON (+ better update-copyright-header script) Wed, 18 Apr 2007 16:34:40 GMT Balazs Dezso [2420:07c4f9bcb4d5] * demo/Makefile.am (modified) * demo/sat-2.cc (added) * demo/sat.cc (added) Demo program for SAT problems