rustsat-v0.7.5

1188126...603d72a

NOTE: this will be the last release before some major API changes that will arrive in v0.8.0.
Progress on the work related to the API changes is tracked here.

Features

• Compute value to totdb node (c6d5be0)
• Allow accessing node database (d88fd01)
• 2-product am1 encoding (#539) (ed5ac2c)

Bug Fixes

• Properly handle offsets in totdb (bc281b8)
• Merging two unweighted trees with same unit weight (e932e98)
• Proper state handling (10188ed)
• Typos (422db78)
• Don't assert but return None (#548) (27f9eea)

Refactor

• Iterate over nodes in leaf_iter for NodeDb (7753acd)
• Remove recursion in building totalizer trees (#540) (7be4b8b)

rustsat-tools-v0.7.5

Bug Fixes

• Proper config for building docs (2da9620)

rustsat-minisat-v0.7.5

Bug Fixes

• Proper config for building docs (2da9620)

rustsat-kissat-v0.7.5

Bug Fixes

• Properly mark rerun-if in build scripts (8352e99)
• Proper config for building docs (2da9620)
• Don't silently fail on environment variable error (d2a0c02)

rustsat-ipasir-v0.7.5

Bug Fixes

• Proper config for building docs (2da9620)

rustsat-glucose-v0.7.5

Bug Fixes

• Proper config for building docs (2da9620)

rustsat-cadical-v0.7.5

Features

• Version 2.2.0 (1e26774)
• Version 2.2.1 (53c85cc)
• Environment variables to control cxx-compiler features (807cfaa)

Bug Fixes

• Properly mark rerun-if in build scripts (8352e99)
• Proper config for building docs (2da9620)
• Don't silently fail on environment variable error (d2a0c02)

Documentation

• Document windows cross compilation (7c730a5)

Refactor

• Version config switches (7c71967)

Miscellaneous Tasks

• Update to rel-2.2.0 (178379c)
• Update subtree to rel-2.2.1 (fd30336)

rustsat-batsat-v0.7.5

Bug Fixes

• Reset state on adding clauses (48dad9c), test:incremental solution caching, fixes #531
• Proper config for building docs (2da9620)

Miscellaneous Tasks

• Remove unused dependencies (7b0ae6e)

pigeons-v0.2.3

Bug Fixes

• Proper config for building docs (2da9620)

rustsat-v0.7.4

NOTE: the feature all has been renamed to _test and internals to _internals.
This is not treated as a breaking change, because both features were always intended as an internal features.
The leading underscore now properly marks the features as internal.

Features

• AsRef<Cl> for [Lit; N], Vec, and Cl (#499) (6a4fe5b)

Bug Fixes

• Deadlock in external solver (6b2f0bf)
• Abstract timer and use std::time::Instant in wasm (aadef69), fixes #455
• Change timers from process time to thread time (57261f5)
• Use web-time for timing measurement on wasm (#467) (50d67f2)
• Various dependency updates
• Changelogs for C and Python API (8b66ace)
• Auto cfg in documentation (#497) (c6623bf)

Documentation

• Add note to make external solver non-verbose (cb088b0)

Miscellaneous Tasks

• Fix labeler permissions (25fc271)
• Make paths relative to cargo manifest (87d6f2e)
• Add newlines at end of templates (1f931e6)
• Add --check option (f67835e)
• Switch CI to nix (7c73dcf)
• Skip mosts checks on draft PRs (#454) (323116d)
• Check wasm compatibility (27f1000)
• Update to pyo3 0.26.0 (3167083)
• Update dev env and release-plz trusted publishing (#479) (88ac9af)
• Update dev env and dev rust version (fb2070d)
• Clippy (844a209)
• Include keep-sorted formatter (46e505c)
• Add cargo-deny (80ac88b)
• Use new veripb (006ddde)
• Generate changelogs for C and Python API (#490) (88aa787)
• Ignore commit hash links in typo checking (#493) (04cf19b)