rustsat-cadical-v0.4.0

Bug Fixes

• Ensure solvers are always linked statically
• Don't unnecessarily rebuild cadical
• Accidental double init
• Use cargo: syntax in build script for backwards compatibility

Documentation

• Describe CPP source customization

Features

• CaDiCal Versions 2.0.0 and 2.1.0
• Propagate trait
• Allow applying custom patches
• Allow specifying custom cpp src directory

Miscellaneous Tasks

• Fix stray feature reference
• Pedantic clippy
• [breaking] Breaking clippy suggestions

Refactor

• [breaking] Make reading functions take reader by reference
• Use bindgen to generate solver bindings
• Keep patch code in separate files

Testing

• Add tests for FlipLit trait