tig-monorepo/tig-algorithms/lib/satisfiability
FiveMovesAhead 0362754b8c Merge branches 'neuralnet_optimizer/neural_alchemist', 'neuralnet_optimizer/nn_iza', 'neuralnet_optimizer/adamlaterrt' and 'neuralnet_optimizer/neural_advanced', remote-tracking branches 'origin/satisfiability/schnoing', 'origin/satisfiability/walk_sat', 'origin/satisfiability/fast_walk_sat', 'origin/satisfiability/sprint_sat', 'origin/satisfiability/inbound', 'origin/satisfiability/sat_allocd', 'origin/satisfiability/sat_optima', 'origin/satisfiability/sat_global', 'origin/satisfiability/sat_global_opt', 'origin/satisfiability/sat_adaptive', 'origin/satisfiability/sat_adaptive_opt_un', 'origin/satisfiability/sat_separate', 'origin/satisfiability/sat_separate_prob', 'origin/satisfiability/sat_separate_opt', 'origin/satisfiability/sat_separate_opt_p', 'origin/satisfiability/sat_unified', 'origin/satisfiability/sat_unified_opt', 'origin/satisfiability/better_sat', 'origin/satisfiability/sat_suma', 'origin/satisfiability/super_sat', 'origin/satisfiability/sat_excelled', 'origin/vehicle_routing/clarke_wright', 'origin/vehicle_routing/cw_heuristic', 'origin/vehicle_routing/clarke_wright_super', 'origin/vehicle_routing/advanced_routing', 'origin/vehicle_routing/enhanced_routing', 'origin/vehicle_routing/advanced_heuristics', 'origin/vehicle_routing/enhanced_heuristics', 'origin/vehicle_routing/advanced_cw_opt', 'origin/vehicle_routing/advanced_cw_adp', 'origin/vehicle_routing/enhanced_cw', 'origin/vehicle_routing/new_enhanced_cw', 'origin/vehicle_routing/new_enhanced_cw_opt', 'origin/vehicle_routing/new_enhanced_cw_low', 'origin/vehicle_routing/enhanced_solomon', 'origin/vehicle_routing/better_routing', 'origin/vehicle_routing/routing_redone', 'origin/vehicle_routing/sausage', 'origin/vehicle_routing/native_routing', 'origin/vehicle_routing/simple_ls_zero', 'origin/vehicle_routing/vrptw_ultimate', 'origin/vehicle_routing/vrptw_high', 'origin/vehicle_routing/hgs_v1', 'origin/vehicle_routing/fast_lane', 'origin/knapsack/dynamic', 'origin/knapsack/knapmaxxing', 'origin/knapsack/knapheudp', 'origin/knapsack/classic_quadkp', 'origin/knapsack/quadkp_improved', 'origin/knapsack/knap_one', 'origin/knapsack/quadkp_maximize', 'origin/knapsack/relative_quad_fast', 'origin/knapsack/new_relative_ultra', 'origin/knapsack/relative_opt_fast', 'origin/knapsack/relative_opt_mid', 'origin/knapsack/relative_opt_optima', 'origin/knapsack/relative_raw_ultra', 'origin/knapsack/knapsack_redone', 'origin/knapsack/native_knapsack', 'origin/knapsack/fast_and_fun', 'origin/knapsack/knapsplatt', 'origin/knapsack/knap_supreme', 'origin/knapsack/knapsplat_hyper_s', 'origin/knapsack/fast_and_furious', 'origin/knapsack/near_knap', 'origin/vector_search/brute_force_bacalhau', 'origin/vector_search/optimax_gpu', 'origin/vector_search/invector', 'origin/vector_search/invector_hybrid', 'origin/vector_search/invector_hybrid_adp', 'origin/vector_search/invector_revisited_s', 'origin/vector_search/invector_adj', 'origin/vector_search/invector_fast', 'origin/vector_search/better_vector', 'origin/vector_search/improved_search_adp', 'origin/vector_search/is_adp_optimal', 'origin/vector_search/improved_search_new', 'origin/vector_search/cluster_improved', 'origin/vector_search/stat_filter_fixed', 'origin/vector_search/cluster_new', 'origin/vector_search/autovector_native', 'origin/vector_search/autovector_native_v2', 'origin/vector_search/nearly_there', 'origin/hypergraph/hyper_cluster', 'origin/hypergraph/hyper_improved', 'origin/hypergraph/hyper_advanced_v2' and 'origin/hypergraph/sigma_freud'
2026-02-18 11:51:41 +00:00
..
better_sat.tar.gz Compiled satisfiability/better_sat 2025-12-02 16:49:42 +00:00
fast_walk_sat.tar.gz Compiled satisfiability/fast_walk_sat 2025-12-02 17:16:28 +00:00
inbound.tar.gz Compiled satisfiability/inbound 2025-12-02 17:14:33 +00:00
sat_adaptive_opt_un.tar.gz Compiled satisfiability/sat_adaptive_opt_un 2025-12-02 16:47:36 +00:00
sat_adaptive.tar.gz Compiled satisfiability/sat_adaptive 2025-12-02 16:44:56 +00:00
sat_allocd.tar.gz Compiled satisfiability/sat_allocd 2025-12-02 16:46:21 +00:00
sat_excelled.tar.gz Compiled satisfiability/sat_excelled 2025-12-02 16:55:06 +00:00
sat_global_opt.tar.gz Compiled satisfiability/sat_global_opt 2025-12-02 17:27:54 +00:00
sat_global.tar.gz Compiled satisfiability/sat_global 2025-12-02 16:53:40 +00:00
sat_optima.tar.gz Compiled satisfiability/sat_optima 2025-12-02 17:03:50 +00:00
sat_separate_opt_p.tar.gz Compiled satisfiability/sat_separate_opt_p 2025-12-02 17:13:58 +00:00
sat_separate_opt.tar.gz Compiled satisfiability/sat_separate_opt 2025-12-02 17:18:57 +00:00
sat_separate_prob.tar.gz Compiled satisfiability/sat_separate_prob 2025-12-02 16:49:02 +00:00
sat_separate.tar.gz Compiled satisfiability/sat_separate 2025-12-02 17:19:38 +00:00
sat_suma.tar.gz Compiled satisfiability/sat_suma 2025-12-02 17:14:53 +00:00
sat_unified_opt.tar.gz Compiled satisfiability/sat_unified_opt 2025-12-02 16:43:16 +00:00
sat_unified.tar.gz Compiled satisfiability/sat_unified 2025-12-02 16:55:59 +00:00
schnoing.tar.gz Compiled satisfiability/schnoing 2025-12-02 17:20:29 +00:00
sprint_sat.tar.gz Compiled satisfiability/sprint_sat 2025-12-02 17:11:46 +00:00
super_sat.tar.gz Compiled satisfiability/super_sat 2025-12-02 16:59:59 +00:00
walk_sat.tar.gz Compiled satisfiability/walk_sat 2025-12-02 17:02:31 +00:00