rustsat-minisat-v0.7.0

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

Documentation

• Update shield style

Features

• Add Debug implementations for everything

Miscellaneous Tasks

• Bump MSRV to 1.75.0

rustsat-kissat-v0.7.0

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

Documentation

• Update shield style

Features

• Add Debug implementations for everything

Miscellaneous Tasks

• [breaking] Code spell-checking, fix panic_instead_of_abort
• Bump MSRV to 1.75.0

rustsat-ipasir-v0.7.0

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

Documentation

• Update shield style

Features

• Add Debug implementations for everything

rustsat-glucose-v0.7.0

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

Documentation

• Update shield style

Features

• Add Debug implementations for everything

Miscellaneous Tasks

• Bump MSRV to 1.75.0

rustsat-cadical-v0.7.0

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

Documentation

• Update shield style

Features

• CaDiCaL API tracing
• Write proofs to file
• Add Debug implementations for everything
• Implementable proof tracers

Miscellaneous Tasks

• Documentation generation with all features
• Bump MSRV to 1.75.0
• Avoid expect attribute because of MSRV

rustsat-batsat-v0.7.0

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

Documentation

• Update shield style

Features

• Add Debug implementations for everything

pigeons-v0.1.0

Documentation

• Update shield style

Features

• Initial library version (#337)

Miscellaneous Tasks

• Bump MSRV to 1.75.0

rustsat-v0.6.6

Bug Fixes

• Two bugs in BinaryAdder
• Don't attempt scraping examples that rely on cyclic dependencies

Features

• Optimize DbGte building code

Miscellaneous Tasks

• Fix warnings in benches

Testing

• Extend pb-enc benchmarks

rustsat-tools-v0.6.6

Version numbers will now follow the main rustsat crate.

Features

• Limit number of enumerated solutions in enumerator
• Add examples from rustsat-tools
• propagator tool

Miscellaneous Tasks

• Cargo clippy
• Remove variant from clustering encoding
• Remove deprecated CI badges

rustsat-minisat-v0.4.6

Miscellaneous Tasks

• Updated the following local packages: rustsat