Branches performance
Pull requests
last run
23 hours ago
Fix reason checking when propagation is also found by sat propagation
24 hours ago
40b1514
fix/reason_check_sat
0%
last run
24 hours ago
Merge branch 'develop' into feat/value_precede_chain
24 hours ago
a048e5f
kletzi:feat/value_precede_chain
0%
last run
7 days ago
Change to the Divan perform the benchmarks
7 days ago
a1974f5
Dekker1:feat/divan
N/A
last run
7 days ago
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.
7 days ago
8516c70
Dekker1:feat/noteq_relaxed
0%