refactor: binary encoding of at most one clauses · mamba-org/resolvo@37e87c1

Triggered via pull request May 30, 2024 21:51

opened #37

Status Failure

Total duration 32s

Artifacts –

rust-compile.yml

on: pull_request

1 error and 4 warnings

Process completed with exit code 1.

Format and Lint: src/problem.rs#L106

Diff in /home/runner/work/resolvo/resolvo/src/problem.rs

Format and Lint: src/solver/clause.rs#L479

Diff in /home/runner/work/resolvo/resolvo/src/solver/clause.rs

Format and Lint: src/solver/decision_map.rs#L1

Diff in /home/runner/work/resolvo/resolvo/src/solver/decision_map.rs

Format and Lint: src/solver/decision_tracker.rs#L1

Diff in /home/runner/work/resolvo/resolvo/src/solver/decision_tracker.rs