Branches - huub-solver/huub - CodSpeed

Blog Docs Changelog

171 total

0%

Example project using Huub as a library#244

1 day ago

350cb29

AllenZzw:example/jssp

0%

feat: add statistics on number of created SAT solver literals#303

1 day ago

a26d8e5

Dekker1:feat/lit_stats

0%

build(deps): bump clap_complete from 4.6.0 to 4.6.1#302

5 days ago

845a1ff

dependabot/cargo/clap_complete-4.6.1

0%

fix: IntUnique::simplify allowed duplicate value assignments#301

8 days ago

32adcb6

Dekker1:fix/simplify_unique

0%

Small cleanup and refactoring tasks#300

10 days ago

c225533

Dekker1:fix/small_tasks

-1%

feat: use clap for the command line interface#299

11 days ago

9c39331

Dekker1:feat/clap

-6%

chore: update to flatzinc-serde 0.5#293

19 days ago

129e8be

Dekker1:chore/flatzinc-serde5

0%

fix: integer event determination in SolvingContext::propgate_int#298

17 days ago

4739a5d

Dekker1:fix/propagate_int_event

0%

Negation issue on creation of solver lits#297

17 days ago

f3b1b40

kletzi:fix/bool_lit_negation

0%

chore: remove current docs website#296

18 days ago

b0b97bb

Dekker1:chore/rm-docs

© 2026 CodSpeed Technology

Home Terms Privacy Docs