coosld

0 Followers · 0 Following

• Joined on 2024-09-30

Repositories

32

Projects Packages Public Activity Starred Repositories

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

ccaec3a439 Compiled satisfiability/satisfiapilled

b22707a466 Submitted satisfiability/satisfiapilled

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/sat_sigma at coosld/tig-monorepo from mirror 2025-12-10 14:49:36 +08:00

6b43c711b8 Compiled satisfiability/sat_sigma

dc6fb09d28 Submitted satisfiability/sat_sigma

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/sat_suma at coosld/tig-monorepo from mirror 2025-12-10 14:49:36 +08:00

62690b87d4 Compiled satisfiability/sat_suma

505ece29e0 Submitted satisfiability/sat_suma

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/sat_supreme at coosld/tig-monorepo from mirror 2025-12-10 14:49:36 +08:00

95ae58e770 Compiled satisfiability/sat_supreme

d2a14e61d9 Submitted satisfiability/sat_supreme

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/sat_ultra at coosld/tig-monorepo from mirror 2025-12-10 14:49:36 +08:00

267a698c9b Compiled satisfiability/sat_ultra

4f587bd8f7 Submitted satisfiability/sat_ultra

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/sat_unified at coosld/tig-monorepo from mirror 2025-12-10 14:49:36 +08:00

193847bac9 Compiled satisfiability/sat_unified

75124071ec Submitted satisfiability/sat_unified

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/sat_separate_opt_p at coosld/tig-monorepo from mirror 2025-12-10 14:49:35 +08:00

2adf601d0a Compiled satisfiability/sat_separate_opt_p

b264c72125 Submitted satisfiability/sat_separate_opt_p

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/sat_separate_prob at coosld/tig-monorepo from mirror 2025-12-10 14:49:35 +08:00

80261072a6 Compiled satisfiability/sat_separate_prob

b8c3d0fb9f Submitted satisfiability/sat_separate_prob

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/sat_separate_prob_l at coosld/tig-monorepo from mirror 2025-12-10 14:49:35 +08:00

9dbb455567 Compiled satisfiability/sat_separate_prob_l

05fdec9d28 Submitted satisfiability/sat_separate_prob_l

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/sat_separate_vav at coosld/tig-monorepo from mirror 2025-12-10 14:49:35 +08:00

6faad5ef2b Compiled satisfiability/sat_separate_vav

ae1bfdbf24 Submitted satisfiability/sat_separate_vav

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/sat_separate_hybrid at coosld/tig-monorepo from mirror 2025-12-10 14:49:34 +08:00

aa18ef0f49 Compiled satisfiability/sat_separate_hybrid

d62642965f Submitted satisfiability/sat_separate_hybrid

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/sat_separate_l at coosld/tig-monorepo from mirror 2025-12-10 14:49:34 +08:00

ecf34679bb Compiled satisfiability/sat_separate_l

f850d30e33 Submitted satisfiability/sat_separate_l

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/sat_separate_opt at coosld/tig-monorepo from mirror 2025-12-10 14:49:34 +08:00

5552e61646 Compiled satisfiability/sat_separate_opt

9955d06f43 Submitted satisfiability/sat_separate_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/sat_opaafast at coosld/tig-monorepo from mirror 2025-12-10 14:49:33 +08:00

4601c4ecda Compiled satisfiability/sat_opaafast

ededc068e4 Submitted satisfiability/sat_opaafast

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/sat_optima at coosld/tig-monorepo from mirror 2025-12-10 14:49:33 +08:00

4f9d8b5c36 Compiled satisfiability/sat_optima

7cc88c0b82 Submitted satisfiability/sat_optima

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/sat_separate at coosld/tig-monorepo from mirror 2025-12-10 14:49:33 +08:00

fa2f93d720 Compiled satisfiability/sat_separate

d4747c9d9b Submitted satisfiability/sat_separate

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/sat_maximize_high at coosld/tig-monorepo from mirror 2025-12-10 14:49:32 +08:00

22bf0b4e68 Compiled satisfiability/sat_maximize_high

6f1f3e73c7 Submitted satisfiability/sat_maximize_high

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/sat_maximize_imp at coosld/tig-monorepo from mirror 2025-12-10 14:49:32 +08:00

0af6a0a582 Compiled satisfiability/sat_maximize_imp

92705f1721 Submitted satisfiability/sat_maximize_imp

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/sat_maximize_max at coosld/tig-monorepo from mirror 2025-12-10 14:49:32 +08:00

5660fc3119 Compiled satisfiability/sat_maximize_max

754462bd3b Submitted satisfiability/sat_maximize_max

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/sat_opaa at coosld/tig-monorepo from mirror 2025-12-10 14:49:32 +08:00

6ea92b3251 Compiled satisfiability/sat_opaa

e80249261a Submitted satisfiability/sat_opaa

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 »