FiveMovesAhead
|
9b4234c5cf
|
Merge branches 'satisfiability/schnoing', 'satisfiability/walk_sat', 'satisfiability/fast_walk_sat', 'satisfiability/sprint_sat', 'satisfiability/inbound', 'satisfiability/sat_allocd', 'satisfiability/sat_optima', 'satisfiability/sat_global', 'satisfiability/sat_global_opt', 'satisfiability/sat_adaptive', 'satisfiability/sat_adaptive_opt_un', 'satisfiability/sat_separate', 'satisfiability/sat_separate_prob', 'satisfiability/sat_separate_opt', 'satisfiability/sat_separate_opt_p', 'satisfiability/sat_unified', 'satisfiability/sat_unified_opt', 'satisfiability/better_sat', 'satisfiability/sat_suma', 'vehicle_routing/clarke_wright', 'vehicle_routing/cw_heuristic', 'vehicle_routing/clarke_wright_super', 'vehicle_routing/advanced_routing', 'vehicle_routing/enhanced_routing', 'vehicle_routing/advanced_heuristics', 'vehicle_routing/enhanced_heuristics', 'vehicle_routing/advanced_cw_opt', 'vehicle_routing/advanced_cw_adp', 'vehicle_routing/enhanced_cw', 'vehicle_routing/new_enhanced_cw', 'vehicle_routing/new_enhanced_cw_opt', 'vehicle_routing/new_enhanced_cw_low', 'vehicle_routing/enhanced_solomon', 'vehicle_routing/better_routing', 'vehicle_routing/routing_redone', 'vehicle_routing/sausage', 'vehicle_routing/native_routing', 'vehicle_routing/simple_ls_zero', 'vehicle_routing/vrptw_ultimate', 'knapsack/dynamic', 'knapsack/knapmaxxing', 'knapsack/knapheudp', 'knapsack/classic_quadkp', 'knapsack/quadkp_improved', 'knapsack/knap_one', 'knapsack/quadkp_maximize', 'knapsack/relative_quad_fast', 'knapsack/new_relative_ultra', 'knapsack/relative_opt_fast', 'knapsack/relative_opt_mid', 'knapsack/relative_opt_optima', 'knapsack/relative_raw_ultra', 'knapsack/knapsack_redone', 'knapsack/native_knapsack', 'knapsack/fast_and_fun', 'knapsack/knapsplatt', 'vector_search/brute_force_bacalhau', 'vector_search/optimax_gpu', 'vector_search/invector', 'vector_search/invector_hybrid', 'vector_search/invector_hybrid_adp', 'vector_search/invector_revisited_s', 'vector_search/invector_adj', 'vector_search/invector_fast', 'vector_search/better_vector', 'vector_search/improved_search_adp', 'vector_search/is_adp_optimal', 'vector_search/improved_search_new', 'vector_search/cluster_improved', 'hypergraph/hyper_cluster' and 'hypergraph/hyper_improved'
|
2025-10-21 23:16:45 +01:00 |
|
FiveMovesAhead
|
24d664a2ab
|
Compiled satisfiability/sat_suma
|
2025-10-21 22:13:33 +01:00 |
|
FiveMovesAhead
|
9888865020
|
Compiled satisfiability/better_sat
|
2025-10-21 22:12:07 +01:00 |
|
FiveMovesAhead
|
2d0d11aca1
|
Compiled satisfiability/sat_unified_opt
|
2025-10-21 22:11:46 +01:00 |
|
FiveMovesAhead
|
f8816fb4a2
|
Compiled satisfiability/sat_unified
|
2025-10-21 22:11:31 +01:00 |
|
FiveMovesAhead
|
ddca865e8f
|
Compiled satisfiability/sat_separate_opt_p
|
2025-10-21 22:10:15 +01:00 |
|
FiveMovesAhead
|
8d95d46dcb
|
Compiled satisfiability/sat_separate_opt
|
2025-10-21 22:09:41 +01:00 |
|
FiveMovesAhead
|
81d4dab990
|
Compiled satisfiability/sat_separate_prob
|
2025-10-21 22:08:14 +01:00 |
|
FiveMovesAhead
|
094473d6d1
|
Compiled satisfiability/sat_separate
|
2025-10-21 22:07:55 +01:00 |
|
FiveMovesAhead
|
c7dceb8e72
|
Compiled satisfiability/sat_adaptive_opt_un
|
2025-10-21 22:07:21 +01:00 |
|
FiveMovesAhead
|
04747d5163
|
Compiled satisfiability/sat_adaptive
|
2025-10-21 22:06:33 +01:00 |
|
FiveMovesAhead
|
36cea2f973
|
Compiled satisfiability/sat_global_opt
|
2025-10-21 22:06:11 +01:00 |
|
FiveMovesAhead
|
733c09c5da
|
Compiled satisfiability/sat_global
|
2025-10-21 22:04:16 +01:00 |
|
FiveMovesAhead
|
3ff8752ad6
|
Compiled satisfiability/sat_optima
|
2025-10-21 22:03:44 +01:00 |
|
FiveMovesAhead
|
ea4add93e8
|
Compiled satisfiability/sat_allocd
|
2025-10-21 22:01:51 +01:00 |
|
FiveMovesAhead
|
9e0c97c481
|
Compiled satisfiability/inbound
|
2025-10-21 22:00:37 +01:00 |
|
FiveMovesAhead
|
1556ea6a09
|
Compiled satisfiability/sprint_sat
|
2025-10-21 21:59:19 +01:00 |
|
FiveMovesAhead
|
242f7c7123
|
Compiled satisfiability/fast_walk_sat
|
2025-10-21 21:58:58 +01:00 |
|
FiveMovesAhead
|
36346e3543
|
Compiled satisfiability/walk_sat
|
2025-10-21 21:57:25 +01:00 |
|
FiveMovesAhead
|
0c350974ee
|
Compiled satisfiability/schnoing
|
2025-10-21 21:56:00 +01:00 |
|