Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

20240922 harmonic reduction #269

Draft
wants to merge 27 commits into
base: 20240916-vibrated-reduction
Choose a base branch
from
Draft

20240922 harmonic reduction #269

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
27 commits
Select commit Hold shift + click to select a range
5ebd423
Initialize Clause::{rank|rank_old} correctly
shnarazk Sep 21, 2024
50603c1
Add StageManager::segment_progress_ratio
shnarazk Sep 21, 2024
8525b77
Skip LBD calculation if clauses are good enough
shnarazk Sep 21, 2024
ad2e7af
Remove Ewa, Implement some missing functions
shnarazk Sep 22, 2024
db48677
Vivify does not change caluse's flags
shnarazk Sep 23, 2024
e4647b1
Add `{AssignStack|State}.clause_generation_shift`
shnarazk Sep 23, 2024
c3e0b27
Add/rename `FlagClause::{NEW_CLAUSE|FORWD_LINK|BCKWD_LINK}`
shnarazk Sep 23, 2024
cc63527
Use them
shnarazk Sep 23, 2024
2cd2e09
tiny changes on edge cases at var assertion
shnarazk Sep 23, 2024
7e724df
Reflect the current status on stat variables before displaying
shnarazk Sep 23, 2024
b420246
Clean up framework for vibrated reduction
shnarazk Sep 25, 2024
d7f4c59
ditto
shnarazk Sep 26, 2024
d8be873
A tiny change
shnarazk Sep 26, 2024
b963024
vivify: limit by the number of literals instead of clauses
shnarazk Sep 28, 2024
c1eccd8
Fix inconsistencies on entanglement and `FlagClause::FORWD_LINK`
shnarazk Sep 28, 2024
517efab
fix a compile error
shnarazk Oct 2, 2024
b75c677
Update toolchains
shnarazk Oct 25, 2024
6d9b110
Update toolchain
shnarazk Nov 7, 2024
07c46f6
modified: flake.lock
shnarazk Nov 7, 2024
0a8280e
modified: Cargo.lock
shnarazk Nov 7, 2024
833a252
Update toolchains
shnarazk Nov 14, 2024
9f1d31b
Vivification delete clauses if possible (resolved #272)
shnarazk Nov 14, 2024
efb037b
Change the definition of clause entanglement
shnarazk Nov 14, 2024
d5dfed2
Vivification can remove given clauses
shnarazk Nov 15, 2024
7f7f7b1
Change dynamics of var decay rate
shnarazk Nov 15, 2024
a057b58
cargo clippy (1.84)
shnarazk Jan 10, 2025
617d847
a snapshot after some simplification
shnarazk Jan 11, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 1 addition & 3 deletions .envrc
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,2 @@
if ! has nix_direnv_version || ! nix_direnv_version 3.0.5; then
source_url "https://raw.githubusercontent.com/nix-community/nix-direnv/3.0.5/direnvrc" "sha256-RuwIS+QKFj/T9M2TFXScjBsLR6V3A17YVoEW/Q6AZ1w="
fi
source $HOME/.config/direnv/envrc
use flake
Loading
Loading