tig-monorepopool/tig-algorithms/lib/satisfiability
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
..
better_sat.tar.gz Compiled satisfiability/better_sat 2025-10-21 22:12:07 +01:00
fast_walk_sat.tar.gz Compiled satisfiability/fast_walk_sat 2025-10-21 21:58:58 +01:00
inbound.tar.gz Compiled satisfiability/inbound 2025-10-21 22:00:37 +01:00
sat_adaptive_opt_un.tar.gz Compiled satisfiability/sat_adaptive_opt_un 2025-10-21 22:07:21 +01:00
sat_adaptive.tar.gz Compiled satisfiability/sat_adaptive 2025-10-21 22:06:33 +01:00
sat_allocd.tar.gz Compiled satisfiability/sat_allocd 2025-10-21 22:01:51 +01:00
sat_global_opt.tar.gz Compiled satisfiability/sat_global_opt 2025-10-21 22:06:11 +01:00
sat_global.tar.gz Compiled satisfiability/sat_global 2025-10-21 22:04:16 +01:00
sat_optima.tar.gz Compiled satisfiability/sat_optima 2025-10-21 22:03:44 +01:00
sat_separate_opt_p.tar.gz Compiled satisfiability/sat_separate_opt_p 2025-10-21 22:10:15 +01:00
sat_separate_opt.tar.gz Compiled satisfiability/sat_separate_opt 2025-10-21 22:09:41 +01:00
sat_separate_prob.tar.gz Compiled satisfiability/sat_separate_prob 2025-10-21 22:08:14 +01:00
sat_separate.tar.gz Compiled satisfiability/sat_separate 2025-10-21 22:07:55 +01:00
sat_suma.tar.gz Compiled satisfiability/sat_suma 2025-10-21 22:13:33 +01:00
sat_unified_opt.tar.gz Compiled satisfiability/sat_unified_opt 2025-10-21 22:11:46 +01:00
sat_unified.tar.gz Compiled satisfiability/sat_unified 2025-10-21 22:11:31 +01:00
schnoing.tar.gz Compiled satisfiability/schnoing 2025-10-21 21:56:00 +01:00
sprint_sat.tar.gz Compiled satisfiability/sprint_sat 2025-10-21 21:59:19 +01:00
walk_sat.tar.gz Compiled satisfiability/walk_sat 2025-10-21 21:57:25 +01:00