rustsat-v0.7.2

Bug Fixes

• Always cache node values in ValueIter (#374)

Documentation

• Citation instructions (#394)

Features

• IntoIterator for &Assignment (#397)

Miscellaneous Tasks

• Nightly development toolchain (#372)
• Format Cargo.toml (#386)
• Update PyO3 (#393)

rustsat-tools-v0.7.2

Miscellaneous Tasks

• Nightly development toolchain (#372)

rustsat-minisat-v0.7.2

Bug Fixes

• Re-enable runtime feature flag for bindgen (#373)

Documentation

• Update minisat/glucose cpp source links (#384)

Refactor

• Rework C-API (#379)

Testing

• Increase test coverage for solvers (#382)

rustsat-kissat-v0.7.2

Bug Fixes

• Re-enable runtime feature flag for bindgen (#373)

Testing

• Increase test coverage for solvers (#382)

rustsat-ipasir-v0.7.2

Documentation

• Update badges and docs link (#366)

Miscellaneous Tasks

• Migrate to mainly self-hosted runners

rustsat-glucose-v0.7.2

Bug Fixes

• Uninitialized memory
• Re-enable runtime feature flag for bindgen (#373)

Documentation

• Update minisat/glucose cpp source links (#384)

Refactor

• Rework C-API (#380)

Testing

• Increase test coverage for solvers (#382)

rustsat-cadical-v0.7.2

Bug Fixes

• Re-enable runtime feature flag for bindgen (#373)

Testing

• Increase test coverage for solvers (#382)

rustsat-batsat-v0.7.2

Bug Fixes

• Don't offset variables by one

Features

• Implement reserve
• Track state and return state errors

Testing

• Increase test coverage for solvers (#382)

pigeons-v0.2.0

Bug Fixes

• Memory leak in pigeons::Proof::end

Documentation

• Fix typo

Testing

• Increase test coverage

rustsat-v0.7.1

Bug Fixes

• GTE bug with limited connections (#357)
• Safe deserialization for Var

Documentation

• Update badges and docs link (#366)

Miscellaneous Tasks

• Update patch updates (#349)
• Update patch updates (#361)
• Update patch updates (#363)
• Update rust crate syn to v2.0.101 (#364)
• Codegen tool for generating bindings
• Migrate to mainly self-hosted runners
• Update rust version
• Slightly clean up dependencies

Testing

• C-API tests with custom harness