Dev-0.18.0 20250128 #284

shnarazk · 2025-01-28T11:23:05Z

reorganize primitive types 20250202 refactor primitive types #288
move vars from AssignStack to ~~ClauseDB or~~ static mut ❗ static mut VAR_VECTOR: Vec<Var> #289
move out heap of AssignStack pub static mut VAR_ACTIVITY_MANAGER: VarActivityManager #290
use BinaryHeap for heap -- Cancelled: we need to assure uniqueness of inserted values
use FxHash*
change the type of clause.lits from Vec<Lit> to Vec<&Var<'a>>
ditch the old-style progress report used by C++ implementations
try watch literal heap

* Bump version to 0.18.0-dev1 * Reorganize types/*

* Bump version 0.18.0-dev2 * new file: src/var_vector.rs * Switch to VAR_VECTOR * Remove AssignStack::num_vars

* Bump version to 0.18.0-dev3 * new files: src/vam.rs, src/assign/{rephrase.rs,stats.rs}, src/cdb/stats.rs * Remove all `&impl`s and `&mut impl`s * Refactor features and traits * Reorganize visibilities

Bump version to 0.18.0-dev0

37eba6e

shnarazk self-assigned this Jan 28, 2025

shnarazk added 3 commits January 28, 2025 20:30

Remove feature 'incremental_solver'

6630bb2

modified: Cargo.toml

b55714a

Fix f64 ordering (401fa3c)

82e0555

shnarazk linked an issue Jan 28, 2025 that may be closed by this pull request

How about define Lit as (&Var, bool) to shorten dereference chains? #283

Open

shnarazk added the experimental project label Jan 28, 2025

shnarazk added 5 commits February 2, 2025 19:47

Fix Ord::cmp for OrderedProxy<T> (see #277)

2d86321

Fix bugs in an unused function

792ce92

20250202 refactor primitive types (#288)

9fe7933

* Bump version to 0.18.0-dev1 * Reorganize types/*

Use pub static mut VAR_VECTOR: Vec<Var> (#289)

d570f43

* Bump version 0.18.0-dev2 * new file: src/var_vector.rs * Switch to VAR_VECTOR * Remove AssignStack::num_vars

Remove AssignStack::satisfies

0eed343

shnarazk marked this pull request as ready for review February 7, 2025 08:30

shnarazk marked this pull request as draft February 7, 2025 08:30

shnarazk added 2 commits February 9, 2025 01:40

pub static mut VAR_ACTIVITY_MANAGER: VarActivityManager (#290)

0705c8d

* Bump version to 0.18.0-dev3 * new files: src/vam.rs, src/assign/{rephrase.rs,stats.rs}, src/cdb/stats.rs * Remove all `&impl`s and `&mut impl`s * Refactor features and traits * Reorganize visibilities

Bump version to 0.18.0-dev4

678073c

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Dev-0.18.0 20250128 #284

Dev-0.18.0 20250128 #284

shnarazk commented Jan 28, 2025 •

edited

Loading

Dev-0.18.0 20250128 #284

Are you sure you want to change the base?

Dev-0.18.0 20250128 #284

Conversation

shnarazk commented Jan 28, 2025 • edited Loading

shnarazk commented Jan 28, 2025 •

edited

Loading