Branches - huub-solver/huub

Branches performance

last run

2 months ago

Add decomposition for `regular` into `table_int`

2 months ago

3ec9408

Dekker1:feat/table_int

last run

2 months ago

Fix regression caused by 4aa742b8a159aa74ba86c8a920bf183f11810707

2 months ago

9415401

Dekker1:fix/lazy_gt_in_eq

last run

2 months ago

Avoid creating propagators for implication of integer literals

2 months ago

4dec4ac

Dekker1:feat/implied_int_view

-73%

last run

2 months ago

Ensure that conflicts from `Engine::check_solutions` are forgettable

2 months ago

1f5ab40

Dekker1:feat/removable_conflict_clauses