Performance History
Latest Results
Fix reason checking when propagation is also found by sat propagation
fix/reason_check_sat
22 hours ago
Merge branch 'develop' into feat/value_precede_chain
kletzi:feat/value_precede_chain
23 hours 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.
Dekker1:feat/noteq_relaxed
7 days ago
Change to the Divan perform the benchmarks
develop
7 days ago
Change to the Divan perform the benchmarks
Dekker1:feat/divan
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.
Dekker1:feat/noteq_relaxed
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.
Dekker1:feat/noteq_relaxed
7 days ago