rustsat-tools-v0.7.1

Documentation

• Update badges and docs link (#366)

Miscellaneous Tasks

• Migrate to mainly self-hosted runners
• Update rust version

rustsat-minisat-v0.7.1

Documentation

• Update badges and docs link (#366)

Miscellaneous Tasks

• Migrate to mainly self-hosted runners
• Update rust version

rustsat-kissat-v0.7.1

Documentation

• Update badges and docs link (#366)

Features

• Make git2 optional

Miscellaneous Tasks

• Migrate to mainly self-hosted runners
• Update rust version

rustsat-ipasir-v0.7.1

Documentation

• Update badges and docs link (#366)

Miscellaneous Tasks

• Migrate to mainly self-hosted runners

rustsat-glucose-v0.7.1

Documentation

• Update badges and docs link (#366)

Miscellaneous Tasks

• Migrate to mainly self-hosted runners
• Update rust version

rustsat-cadical-v0.7.1

Bug Fixes

• Include ctracer.cpp in C++ build (#356)

Documentation

• Update badges and docs link (#366)

Features

• Make git2 optional

Miscellaneous Tasks

• Migrate to mainly self-hosted runners
• Update rust version

rustsat-batsat-v0.7.1

Documentation

• Update badges and docs link (#366)

Miscellaneous Tasks

• Migrate to mainly self-hosted runners

pigeons-v0.1.1

Documentation

• Update badges and docs link (#366)

Miscellaneous Tasks

• Migrate to mainly self-hosted runners
• Update rust version

rustsat-v0.7.0

All rustsat- crates now follow the version number of the main crate.

Bug Fixes

• ReindexingVarManager map with identity with initialized with next free

Documentation

• Copy past typos in encoding traits
• Document crates and features
• Update shield style

Features

• Add Debug implementations for everything
• pigeons VeriPB library
• Implement pigeons traits for types
• [breaking] More functionality on constraint types
• Reified cardinality/PB encodings in atomics
• Initialize trait
• len and is_empty for Assignment
• Certified encoding traits
• Implement certified encoding traits for simulators
• Certified Totalizer and GeneralizedTotalizer
• Default certified constraint encoders
• Lower bounding traits for referencing DB totalizers
• Lower bounding totalizers
• [breaking] Monotone trait for encodings

Miscellaneous Tasks

• Code spell-checking
• Bump MSRV to 1.75.0
• Remove all elements deprecated in 0.6.0 and before

Performance

• [breaking] Remove blanket implementations for both bounding encodings

Refactor

• [breaking] Move totalizer database to separate module
• [breaking] Don't use anyhow in encoding API
• [breaking] Remove non-db totalizer encodings

Testing

• Lower-bounding tests for DbTotalizer

rustsat-tools-v0.7.0

Documentation

• Update shield style

Miscellaneous Tasks

• Code spell-checking
• Bump MSRV to 1.75.0