coosld

0 Followers · 0 Following

• Joined on 2024-09-30

Repositories

32

Projects Packages Public Activity Starred Repositories

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 »

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

5229df70a6 Compiled satisfiability/sat_global_opt

1978a7a88a Submitted satisfiability/sat_global_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_hybrid_vav at coosld/tig-monorepo from mirror 2025-12-10 14:49:31 +08:00

a0e25f92bd Compiled satisfiability/sat_hybrid_vav

acfcf03a60 Submitted satisfiability/sat_hybrid_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_lossless at coosld/tig-monorepo from mirror 2025-12-10 14:49:31 +08:00

07b29311da Compiled satisfiability/sat_lossless

d302f0f6d8 Submitted satisfiability/sat_lossless

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

1f0dc23d84 Compiled satisfiability/sat_maximize

372e30b3f3 Submitted satisfiability/sat_maximize

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

1a9914688d Compiled satisfiability/sat_adaptive_opt_un

75f5b3b4c9 Submitted satisfiability/sat_adaptive_opt_un

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

bd42d958db Compiled satisfiability/sat_allocd

0931114531 Submitted satisfiability/sat_allocd

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

62c2e1273c Compiled satisfiability/sat_excelled

cd69596f7c Submitted satisfiability/sat_excelled

bdc6ed6794 Use random shuffle for tie-breaking bundle quality.

f8c442adf4 Add help function to algorithm templates.

b1c1265888 Save model at end of patience.

Compare 40 commits »

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

d431a5afe8 Compiled satisfiability/sat_foundation

6d7afd1185 Submitted satisfiability/sat_foundation

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

f83d89f418 Compiled satisfiability/sat_global

bca931e472 Submitted satisfiability/sat_global

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

be0f623815 Compiled satisfiability/random_hybrid_sat

af34fbc7f0 Submitted satisfiability/random_hybrid_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/residual_flipper_sat at coosld/tig-monorepo from mirror 2025-12-10 14:49:29 +08:00

3f067907dd Compiled satisfiability/residual_flipper_sat

a66fe502bc Submitted satisfiability/residual_flipper_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/sat_adaptive at coosld/tig-monorepo from mirror 2025-12-10 14:49:29 +08:00

cf813adb3b Compiled satisfiability/sat_adaptive

f6922a8e12 Submitted satisfiability/sat_adaptive

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 »