rustsat-glucose-v0.3.0

The corresponding RustSAT release contains breaking changes. For detailed
instructions on how to handle migration, please refer to the migration guide.

Documentation

• Add missing documentation

Features

• quiet feature to disable stdout printing
• Migrate error handling to anyhow create
• FreezeVar trait
• Return error when assumption is eliminated
• Add add_clause_ref method to Solve trait
• Extend<&Clause> for solvers
• Catch memory out in solvers
• Catch memory outs in clause collector

Refactor

• Clean up control flow in solver methods
• Factor out solver integration tests
• Factor out solver unit tests
• Solver build system

Testing

• Minisat segfault tests