refactor: binary encoding of at most one clauses #92
rust-compile.yml
on: pull_request
Format and Lint
23s
Check intra-doc links
28s
ubuntu-latest
0s
Annotations
5 errors
Format and Lint:
src/internal/id.rs#L190
unnecessary closure used with `bool::then`
|
Format and Lint:
src/problem.rs#L110
useless conversion to the same type: `internal::id::VarId`
|
Format and Lint:
src/solver/mod.rs#L442
useless conversion to the same type: `internal::id::SolvableId`
|
Format and Lint:
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
|
Format and Lint
Process completed with exit code 101.
|