Comparing
Dekker1:feat/noteq_relaxed
(8516c70
) withdevelop
(a1974f5
)0%
- Improvements
- 0
- Regressions
- 0
- Untouched
- 14
- New
- 0
- Dropped
- 0
- Ignored
- 0
Benchmarks
Passed
optimization[radiation_i8_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[radiation_i8_9]0%
40 ms
39.9 ms
optimization[portal_10_9_10]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[portal_10_9_10]0%
445 ms
444.6 ms
satisfaction[sudoku_p48]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::satisfaction[sudoku_p48]0%
9.5 ms
9.5 ms
optimization[radiation_i6_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[radiation_i6_9]0%
13.8 ms
13.8 ms
satisfaction[amaze3_2012_03_19]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::satisfaction[amaze3_2012_03_19]0%
654.1 ms
654.2 ms
satisfaction[steiner_t6_k6_N7]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::satisfaction[steiner_t6_k6_N7]0%
13.1 ms
13.1 ms
satisfaction[steiner_t3_k4_N8]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::satisfaction[steiner_t3_k4_N8]0%
42.9 ms
42.9 ms
optimization[jobshop_la03]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[jobshop_la03]0%
119.6 ms
119.7 ms
optimization[jobshop_la04]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[jobshop_la04]0%
314.2 ms
314.5 ms
optimization[jobshop_la02]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[jobshop_la02]0%
164.1 ms
164.2 ms
optimization[jobshop_la01]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[jobshop_la01]0%
76.9 ms
77 ms
optimization[svrp_s4_v2_c3]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[svrp_s4_v2_c3]0%
68.8 ms
68.9 ms
optimization[jobshop_la05]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[jobshop_la05]0%
31.7 ms
31.8 ms
optimization[jobshop_newspaper]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[jobshop_newspaper]-1%
2.4 ms
2.4 ms
Commits
Click on a commit to change the comparison rangeBase
develop
a1974f5
0%
Add `ExplainActions::get_int_lit_meaning`
This method allows `Propagator::explain` method to request the
`IntLitMeaning` of the literal for which they are asked to give a
conjunctive reason. Note that the propagator is still expected to
provide the `IntView` to provide the right context.
8516c70
8 days ago
by Dekker1