refactor: binary encoding of at most one clauses #92
Annotations
5 errors
src/internal/id.rs#L190
unnecessary closure used with `bool::then`
|
src/problem.rs#L110
useless conversion to the same type: `internal::id::VarId`
|
src/solver/mod.rs#L442
useless conversion to the same type: `internal::id::SolvableId`
|
src/solver/mod.rs#L445
this comparison involving the minimum or maximum element for this type contains a case that is always true or always false
|
|
This job failed
Loading