rustsat-kissat-v0.3.6

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-ipasir-v0.1.8

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-glucose-v0.3.8

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-cadical-v0.4.6

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-batsat-v0.1.5

Miscellaneous Tasks

• Updated the following local packages: rustsat

rustsat-v0.6.5

Features

• SIS MaxSAT algorithm
• Add examples from rustsat-tools
• Main branch documentation available here
• Expose literal parsing functions as internals

Bug Fixes

• Use var count from DIMACS header as minimum

Documentation

• Document MSRV policy

Testing

• Basic tests for am1 encodings

Miscellaneous Tasks

• Cargo fmt
• Cargo clippy
• Update rust crate syn to v2.0.100 (#298)
• Update patch updates (#288)
• Update patch updates (#291)
• Update patch updates (#304)
• Update PyO3 to 0.24.0
• Force synced versions via workspace
• Bump MSRV to 1.74.0
• Temporarily disable semver-checks lint
• Remove deprecated CI badges

rustsat-tools-v0.6.5

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.5

Bug Fixes

• Fix all warnings

Miscellaneous Tasks

• Include source as subtree
• Fix trailing whitespace
• Remove deprecated CI badges

rustsat-kissat-v0.3.5

Documentation

• Details on downloading at compile time

Miscellaneous Tasks

• Remove deprecated CI badges

rustsat-ipasir-v0.1.7

Miscellaneous Tasks

• Remove deprecated CI badges