coosld

0 Followers · 0 Following

• Joined on 2024-09-30

Repositories

32

Projects Packages Public Activity Starred Repositories

coosld synced commits to satisfiability/sat_adaptive_opt at coosld/tig-monorepo from mirror 2025-12-10 14:49:29 +08:00

f704004050 Compiled satisfiability/sat_adaptive_opt

a2d01354fe Submitted satisfiability/sat_adaptive_opt

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/mt_sat at coosld/tig-monorepo from mirror 2025-12-10 14:49:28 +08:00

f360e22f2e Compiled satisfiability/mt_sat

10988f9cc2 Submitted satisfiability/mt_sat

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/native_sat at coosld/tig-monorepo from mirror 2025-12-10 14:49:28 +08:00

fa0d03c142 Compiled satisfiability/native_sat

90c42d9370 Submitted satisfiability/native_sat

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/need_for_speed at coosld/tig-monorepo from mirror 2025-12-10 14:49:28 +08:00

17f6d7633c Compiled satisfiability/need_for_speed

3ca19dbda6 Submitted satisfiability/need_for_speed

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/optimized_sprint_sat at coosld/tig-monorepo from mirror 2025-12-10 14:49:28 +08:00

e3f969216d Compiled satisfiability/optimized_sprint_sat

5639af502b Submitted satisfiability/optimized_sprint_sat

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/i_cant_get_no at coosld/tig-monorepo from mirror 2025-12-10 14:49:27 +08:00

1af8d729a3 Compiled satisfiability/i_cant_get_no

73a433e3d0 Submitted satisfiability/i_cant_get_no

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/inbound at coosld/tig-monorepo from mirror 2025-12-10 14:49:27 +08:00

3ad7584a7f Compiled satisfiability/inbound

17b51df05a Submitted satisfiability/inbound

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/manual_sat at coosld/tig-monorepo from mirror 2025-12-10 14:49:27 +08:00

b987c5a0dd Compiled satisfiability/manual_sat

9bb99af6ae Submitted satisfiability/manual_sat

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/flip_sat at coosld/tig-monorepo from mirror 2025-12-10 14:49:26 +08:00

ce5a548e8b Compiled satisfiability/flip_sat

55a85235dc Submitted satisfiability/flip_sat

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/genetic_sat at coosld/tig-monorepo from mirror 2025-12-10 14:49:26 +08:00

f55610401e Compiled satisfiability/genetic_sat

3d07e53a2b Submitted satisfiability/genetic_sat

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/heuristics_gsat at coosld/tig-monorepo from mirror 2025-12-10 14:49:26 +08:00

247e63d4f2 Compiled satisfiability/heuristics_gsat

f200f700eb Submitted satisfiability/heuristics_gsat

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/hybrid_ultra_fast at coosld/tig-monorepo from mirror 2025-12-10 14:49:26 +08:00

f6e3e3c71b Compiled satisfiability/hybrid_ultra_fast

d1116404ad Submitted satisfiability/hybrid_ultra_fast

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/fast_walk_sat at coosld/tig-monorepo from mirror 2025-12-10 14:49:25 +08:00

071f4d2466 Compiled satisfiability/fast_walk_sat

377314b9ad Submitted satisfiability/fast_walk_sat

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/faster_walk_sat at coosld/tig-monorepo from mirror 2025-12-10 14:49:25 +08:00

d372af7c76 Compiled satisfiability/faster_walk_sat

51923eb4b5 Submitted satisfiability/faster_walk_sat

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/fastest_walk_sat at coosld/tig-monorepo from mirror 2025-12-10 14:49:25 +08:00

c106da7bad Compiled satisfiability/fastest_walk_sat

b9c257b51e Submitted satisfiability/fastest_walk_sat

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/filter_sat at coosld/tig-monorepo from mirror 2025-12-10 14:49:25 +08:00

033622bb88 Compiled satisfiability/filter_sat

d9afa3e827 Submitted satisfiability/filter_sat

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/dpll_backtracking at coosld/tig-monorepo from mirror 2025-12-10 14:49:24 +08:00

b70fa89073 Compiled satisfiability/dpll_backtracking

c3f294ed64 Submitted satisfiability/dpll_backtracking

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/dumdum at coosld/tig-monorepo from mirror 2025-12-10 14:49:24 +08:00

e0839f7bc7 Compiled satisfiability/dumdum

da7ac5ed9a Submitted satisfiability/dumdum

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/even_better_sat at coosld/tig-monorepo from mirror 2025-12-10 14:49:24 +08:00

e165ee3a5f Compiled satisfiability/even_better_sat

a892eba00e Submitted satisfiability/even_better_sat

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »

coosld synced commits to satisfiability/fast_cdcl_sat_solver at coosld/tig-monorepo from mirror 2025-12-10 14:49:24 +08:00

70f8d2f95d Compiled satisfiability/fast_cdcl_sat_solver

081cfc94ca Submitted satisfiability/fast_cdcl_sat_solver

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 45 commits »