Implement and improve simplification logic · twizmwazin/clarirs@8a9bfe6

Build: crates/clarirs_core/src/solver/concrete.rs#L9

lifetime may not live long enough

Build: crates/clarirs_core/src/solver/concrete.rs#L13

lifetime may not live long enough

Build: crates/clarirs_core/src/solver/concrete.rs#L17

lifetime may not live long enough

Build: crates/clarirs_core/src/solver/concrete.rs#L21

lifetime may not live long enough

Process completed with exit code 101.

Build: crates/clarirs_core/src/algorithms/simplify.rs#L1

unused import: `std::sync::Arc`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L11

unused import: `std::ops::Shl`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L8

unused import: `num_traits::Signed`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L5

unused import: `ToBigUint`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L284

unused variable: `arc`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L284

unused variable: `arc1`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L284

unused variable: `arc2`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L285

unused variable: `arc`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L285

unused variable: `annotation`

Build: crates/clarirs_core/src/algorithms/simplify.rs#L819

unused variable: `arc`

Provide feedback