|
45 | 45 | 'default': { |
46 | 46 | # Default settings |
47 | 47 | }, |
48 | | - 'given_weights+min_gen_set': { |
| 48 | + 'no_optimizations': { |
49 | 49 | 'optimize_with_greedy': False, |
50 | 50 | 'optimize_with_flow_safe_paths': False, |
51 | 51 | 'optimize_with_safe_paths': False, |
52 | | - 'optimize_with_safe_sequences': False, |
| 52 | + 'optimize_with_safe_sequences': True, |
53 | 53 | 'optimize_with_safe_zero_edges': False, |
| 54 | + 'optimize_with_symmetry_breaking': False, |
| 55 | + }, |
| 56 | + 'given_weights+min_gen_set+safety': { |
| 57 | + 'optimize_with_greedy': False, |
| 58 | + 'optimize_with_flow_safe_paths': False, |
| 59 | + 'optimize_with_safe_paths': False, |
| 60 | + 'optimize_with_safe_sequences': True, |
| 61 | + 'optimize_with_safe_zero_edges': True, |
| 62 | + 'optimize_with_symmetry_breaking': True, |
| 63 | + 'use_min_gen_set_lowerbound': True, |
| 64 | + 'optimize_with_given_weights': True, |
| 65 | + }, |
| 66 | + 'given_weights+min_gen_set+safety+partition_constraints': { |
| 67 | + 'optimize_with_greedy': False, |
| 68 | + 'optimize_with_flow_safe_paths': False, |
| 69 | + 'optimize_with_safe_paths': False, |
| 70 | + 'optimize_with_safe_sequences': True, |
| 71 | + 'optimize_with_safe_zero_edges': True, |
54 | 72 | 'optimize_with_symmetry_breaking': True, |
55 | 73 | 'use_min_gen_set_lowerbound': True, |
56 | 74 | 'optimize_with_given_weights': True, |
| 75 | + 'use_min_gen_set_lowerbound_partition_constraints': True, |
| 76 | + }, |
| 77 | + 'greedy+min_gen_set': { |
| 78 | + 'optimize_with_greedy': True, |
| 79 | + 'optimize_with_flow_safe_paths': False, |
| 80 | + 'optimize_with_safe_paths': False, |
| 81 | + 'optimize_with_safe_sequences': True, |
| 82 | + 'optimize_with_safe_zero_edges': True, |
| 83 | + 'optimize_with_symmetry_breaking': True, |
| 84 | + 'use_min_gen_set_lowerbound': True, |
| 85 | + 'use_min_gen_set_lowerbound_partition_constraints': True, |
57 | 86 | }, |
58 | 87 | } |
59 | 88 |
|
60 | | - |
61 | 89 | # Solver options |
62 | 90 | SOLVER_OPTIONS = { |
63 | 91 | 'threads': 1, |
|
0 commit comments