rustsat-glucose-v0.3.7

Miscellaneous Tasks

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

rustsat-cadical-v0.4.5

Features

• Include source for newest version
• Properly detect c++ features

Bug Fixes

• Index out of bounds error in old propagate
• Fix all warnings

Miscellaneous Tasks

• Prepare for subtree inclusion
• Include source as subtree
• Remove deprecated CI badges

rustsat-batsat-v0.1.4

Miscellaneous Tasks

• Remove deprecated CI badges

rustsat-v0.6.4

Features

• Optional serde support behind serde feature

Bug Fixes

• Dpw reserve don't build unnecessary structure

Dependencies

• Update patch updates (#219)
• Update rust crate quote to v1.0.38 (#222)
• Update patch updates (#241)
• Update rust crate syn to v2.0.98 (#259)

rustsat-tools-v0.4.4

Features

• Improve enumerator

rustsat-minisat-v0.4.4

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat-kissat-v0.3.4

Features

• Add kissat version 4.0.2

rustsat-ipasir-v0.1.6

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat-glucose-v0.3.6

Miscellaneous Tasks

• Update Cargo.toml dependencies

rustsat-cadical-v0.4.4

Features

• Version 2.1.3 with native propagate