Switch to Rust 2024; cargo clippy (1.85)

Define Eq for Var and Clause based on reference equivalency

Fix errors under non trail-saving settings

A snapshot

new file: src/types/bsvr.rs

Remove log option

Use rustc_data_structures::fx::FxHashSet

Bump version to 0.18.0-dev4

pub static mut VAR_ACTIVITY_MANAGER: VarActivityManager (#290)

Clean up

cargo test

ditto and fix a bug

Plug a conversion miss; rename a function

Reorganize visibilities

Refactor traits on ClauseDB visibility

Remove all '&impl's and '&mut impl's

Refactor the trait on ClauseDB

tiny changes

Rename *::initialize to instantiate

cargo test

Add/rename public functions on VarRef about literal assignment

Remove feature EVSIDS

Remove AssignIF from AssignStack

Switch from AssignStack::var_order to vam::VAR_HEAP

modified: src/vam.rs

Rename Var::reward to activity

Working snapshot

new file: src/vam.rs

Bump version to 0.18.0-dev3