huub-solver/huub - CodSpeed

huub

Blog Docs Changelog

Performance History

Latest Results

add options to deactivate inactive propagators

AllenZzw:feat/deactivate_propagations

2 hours ago

Re-introduce integer reasoning when checking reasons in debug mode This reintroduces functionality removed in 73f966b671f56da6a4787388768c8998f43c5629. The problematic behaviour that changes of search order between debug and release builds is resolved by ensuring the propagation queue remains unchanged while checking the reasons.

Dekker1:fix/reason_check

18 hours ago

Change PriorityQueue to use queues for each level instead of stacks

Dekker1:feat/queue

20 hours ago

add options to deactivate inactive propagators

AllenZzw:feat/deactivate_propagations

21 hours ago

Change PriorityQueue to use queues for each level instead of stacks

Dekker1:feat/queue

2 days ago

An bounds consistent propagator for `all_different` (#164) --------- Co-authored-by: Danyal Mirza <danyalmirza@gmail.com>

develop

5 days ago

Fix reason checking problem when in a failed state

develop

5 days ago

Fix reason checking problem when in a failed state

Dekker1:fix/failed_reason_check

5 days ago

Active Branches

[WIP] add configurations to deactivate propagations of CP propagators

last run

2 hours ago

×15

Re-introduce integer reasoning when checking reasons in debug mode

last run

18 hours ago

0%

Change PriorityQueue to use queues for each level instead of stacks

last run

20 hours ago

×15

© 2025 CodSpeed Technology

Home Terms Privacy Docs