Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: huub-solver/huub

Actions

Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: enable the usage of Propagator at the Model level (#246) Deploy to GitHub Pages #46: Commit 50e1c9b pushed by Dekker1
46s develop
develop
46s
chore: update dependencies Deploy to GitHub Pages #45: Commit 2d91ae5 pushed by Dekker1
36s develop
develop
36s
chore: update dependencies Deploy to GitHub Pages #44: Commit 055baee pushed by Dekker1
43s develop
develop
43s
fix(huub): partial unification of bool decisions with negated scale Deploy to GitHub Pages #43: Commit 7191e2c pushed by Dekker1
52s develop
develop
52s
fix: ensure both domains are honored when detecting views in FlatZinc Deploy to GitHub Pages #42: Commit 030cd6c pushed by Dekker1
39s develop
develop
39s
fix(huub): trailing in the BoolBrancher (#235) Deploy to GitHub Pages #41: Commit 19c90da pushed by Dekker1
54s develop
develop
54s
chore(huub): update pindakaas to fix windows build Deploy to GitHub Pages #40: Commit 5dd8cd2 pushed by Dekker1
41s develop
develop
41s
fix(huub): correct transform in get_int_lit_relaxed for NotEq Deploy to GitHub Pages #39: Commit ee6b820 pushed by Dekker1
44s develop
develop
44s
refactor(huub): use RangeList set bound functions Deploy to GitHub Pages #38: Commit 2ea6f22 pushed by Dekker1
42s develop
develop
42s
fix(huub): correct the negation of int_lin_le Deploy to GitHub Pages #37: Commit 9438b96 pushed by Dekker1
38s develop
develop
38s
fix(huub): add missing case for int_abs bounds propagation Deploy to GitHub Pages #36: Commit 8074e76 pushed by Dekker1
39s develop
develop
39s
feat(huub): improve simplification for the int_in_set constraint Deploy to GitHub Pages #35: Commit 7676d9f pushed by Dekker1
34s develop
develop
34s
feat: add option for explaining all propagation on the conflict level Deploy to GitHub Pages #34: Commit 92888cb pushed by Dekker1
43s develop
develop
43s
fix(huub): remove duplication of boolean variables introduced in bf22… Deploy to GitHub Pages #33: Commit 644c318 pushed by Dekker1
45s develop
develop
45s
refactor(huub): implement Copy for IntLitMeaning Deploy to GitHub Pages #32: Commit 5b04014 pushed by Dekker1
36s develop
develop
36s
feat(huub): update domains during engine propagation Deploy to GitHub Pages #31: Commit 39955e2 pushed by Dekker1
51s develop
develop
51s
refactor(huub): further strengthen literal meanings in IntVar methods Deploy to GitHub Pages #30: Commit 34597ed pushed by Dekker1
44s develop
develop
44s
refactor(huub): remove use of unsafe mem::transmute Deploy to GitHub Pages #29: Commit ed8fc6a pushed by Dekker1
48s develop
develop
48s
feat(huub): use advisors for IntLinearNotEqValue propagator Deploy to GitHub Pages #28: Commit 8878666 pushed by Dekker1
38s develop
develop
38s
feat(huub): add debug check that reasons are not tautologies Deploy to GitHub Pages #27: Commit ab22e47 pushed by Dekker1
40s develop
develop
40s
fix(huub): advise on backtrack from artificial decision level Deploy to GitHub Pages #26: Commit 31273af pushed by Dekker1
32s develop
develop
32s
fix(huub): enqueue and advise methods on fixed decision variables Deploy to GitHub Pages #25: Commit 920be29 pushed by Dekker1
39s develop
develop
39s
chore: update pindakaas version Deploy to GitHub Pages #24: Commit 5f97188 pushed by Dekker1
41s develop
develop
41s
feat(huub): add the propagator for cumulative constraint (#188) Deploy to GitHub Pages #23: Commit c5efb6b pushed by Dekker1
35s develop
develop
35s
fix(huub): release Engine before oracle interaction in IntVar::new_in Deploy to GitHub Pages #22: Commit 16a8f1c pushed by Dekker1
45s develop
develop
45s