rustsat-v0.6.2

Features

• Check variable addition overflow in debug
• Var and Lit constructors in const context
• Implement kani::Arbitrary for TernaryVal
• BinaryAdder PB encoding
• Initialize encodings when calling reserve
• Include rustsat version in header
• Include C sources for newest version

Bug Fixes

• Unnecessary mut warning in clause![]

Documentation

• Spelling

Testing

• Switch to nextest for running tests

Miscellaneous Tasks

• Bump a bunch of dependencies
• Cleanup file endings and trailing whitespace
• Set up pre-commit hooks
• Group dependabot PRs
• Clippy
• Do not run nextest if no tests