shnarazk/splr issues and pull requests

#261 - 20240803 count conflicts to stage version 2.0

Pull Request - State: open - Opened by shnarazk 15 days ago
Labels: idea, experimental project

#260 - 20240805 last free lit handling in propagate

Pull Request - State: closed - Opened by shnarazk 17 days ago

#259 - 20240728 rewrite `conflict_analyze`

Pull Request - State: closed - Opened by shnarazk 27 days ago

#258 - 20240721 complete depend graph

Pull Request - State: closed - Opened by shnarazk about 1 month ago
Labels: idea, experimental project

#257 - Use simd-itertools someday

Issue - State: open - Opened by shnarazk about 1 month ago
Labels: type system

#255 - Fix errors on features on reduce

Pull Request - State: closed - Opened by shnarazk about 1 month ago
Labels: type system

#254 - Spin momentum

Pull Request - State: closed - Opened by shnarazk about 1 month ago - 1 comment
Labels: idea, experimental project

#253 - 20240714 delete biclause loop

Pull Request - State: closed - Opened by shnarazk about 1 month ago
Labels: experimental project

#251 - WatchLiteralIndex dancing weaves

Pull Request - State: closed - Opened by shnarazk about 2 months ago
Labels: experimental project

#250 - Switch to WatchLiteralIndexWeaver

Pull Request - State: closed - Opened by shnarazk about 2 months ago
Labels: bug, enhancement

#249 - Add feature `deterministic`

Pull Request - State: closed - Opened by shnarazk about 2 months ago
Labels: enhancement

#246 - Add feature 'deterministic' to fix bugs

Pull Request - State: closed - Opened by shnarazk 2 months ago
Labels: bug, enhancement

#245 - Add feature 'interleave'

Pull Request - State: closed - Opened by shnarazk 2 months ago
Labels: enhancement

#243 - 20240502 no restart

Pull Request - State: closed - Opened by shnarazk 4 months ago
Labels: experimental project

#242 - 20240422 dancing watchers

Pull Request - State: closed - Opened by shnarazk 4 months ago

#241 - 20240425 Clause Weaver

Pull Request - State: closed - Opened by shnarazk 4 months ago
Labels: experimental project

#240 - 20240412-DancingIndex

Pull Request - State: closed - Opened by shnarazk 4 months ago
Labels: enhancement, type system, experimental project

#239 - 20240406 clause ref

Pull Request - State: closed - Opened by shnarazk 5 months ago

#238 - Introduce ClauseRef instead of ClauseId

Pull Request - State: closed - Opened by shnarazk 5 months ago
Labels: enhancement, type system, experimental project

#237 - dev-0.18.0

Pull Request - State: open - Opened by shnarazk 5 months ago - 1 comment
Labels: enhancement, experimental project

#236 - 20240323 rayon propagate

Pull Request - State: closed - Opened by shnarazk 5 months ago

#235 - Bump bitflags from 2.4.2 to 2.5.0

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago - 1 comment
Labels: dependencies

#234 - (nix) Switch to rustPlatform

Pull Request - State: closed - Opened by shnarazk 6 months ago
Labels: enhancement

#233 - resolve #232 (an incorrect debug assertion)

Pull Request - State: closed - Opened by shnarazk 6 months ago
Labels: bug

#232 - Panic in eliminate.rs when calling `Certificate::try_from(Vec<Vec<i32>>)`

Issue - State: closed - Opened by Nathan-Fenner 6 months ago - 1 comment

#231 - Implement LDAT format

Issue - State: open - Opened by shnarazk 6 months ago

#230 - cargo clippy (1.76); cargo update

Pull Request - State: closed - Opened by shnarazk 7 months ago

#229 - Bump bitflags from 2.4.1 to 2.4.2

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago - 1 comment
Labels: dependencies

#228 - Add feature `platform_wasm`

Pull Request - State: closed - Opened by shnarazk 7 months ago
Labels: enhancement

#226 - Just a memo about ZDD

Issue - State: open - Opened by shnarazk 7 months ago
Labels: experimental project

#225 - (nixpkgs) re-package with crane

Pull Request - State: closed - Opened by shnarazk 8 months ago
Labels: enhancement

#224 - Dev 0.17.1

Pull Request - State: closed - Opened by shnarazk about 1 year ago

#223 - no_IO is incompatible with Splr executables

Pull Request - State: closed - Opened by shnarazk about 1 year ago

#222 - no_IO is incompatible with Splr executables

Pull Request - State: closed - Opened by shnarazk about 1 year ago

#221 - Is no-std still supported?

Issue - State: closed - Opened by mohamedalichelbi about 1 year ago - 1 comment

#220 - Update bitflags requirement from ^1.3 to ^2.3

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#219 - fix the nix flake

Pull Request - State: closed - Opened by superwhiskers over 1 year ago - 1 comment

#218 - 2023-05-06 Tokio async/await

Pull Request - State: closed - Opened by shnarazk over 1 year ago
Labels: enhancement, type system, experimental project

#217 - Update bitflags requirement from ^1.3 to ^2.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#216 - 20230415 rayon parallel propagation

Pull Request - State: closed - Opened by shnarazk over 1 year ago
Labels: experimental project

#215 - 20230415 rayon propagation

Pull Request - State: closed - Opened by shnarazk over 1 year ago

#214 - Update bitflags requirement from ^1.3 to ^2.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#213 - README.md: about 'incremental_solver' configuration

Pull Request - State: closed - Opened by shnarazk over 1 year ago

#212 - Incremental search example

Issue - State: closed - Opened by petersn over 1 year ago - 2 comments

#211 - dev-0.17.1

Pull Request - State: closed - Opened by shnarazk over 1 year ago

#210 - Update bitflags requirement from ^1.3 to ^2.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#209 - GADT for PropertyDereference

Issue - State: closed - Opened by shnarazk over 1 year ago
Labels: type system

#208 - 20221119 two_mode_reduction

Pull Request - State: closed - Opened by shnarazk almost 2 years ago - 3 comments
Labels: type system, idea

#207 - O(1) Luby iterator

Issue - State: closed - Opened by shnarazk almost 2 years ago - 1 comment

#206 - Luby sequence based stage/cycle/segment model is broken!

Issue - State: closed - Opened by shnarazk almost 2 years ago
Labels: bug

#205 - 20221106 fix build error without feature rephase

Pull Request - State: closed - Opened by shnarazk almost 2 years ago
Labels: bug

#204 - 20221104 cargo clippy (1.65)

Pull Request - State: closed - Opened by shnarazk almost 2 years ago

#203 - 20221104 reward annealing

Pull Request - State: closed - Opened by shnarazk almost 2 years ago - 2 comments

#202 - fix a build error without feature 'trail_saving'

Pull Request - State: closed - Opened by shnarazk almost 2 years ago
Labels: bug

#201 - 20221102 reconflicting

Pull Request - State: closed - Opened by shnarazk almost 2 years ago

#200 - Reconflicting

Issue - State: closed - Opened by shnarazk almost 2 years ago
Labels: idea

#199 - 20221101 SLS

Pull Request - State: closed - Opened by shnarazk almost 2 years ago

#198 - 20221031 replace SolverError::OutOfRange with SolverError::InvalidLiteral

Pull Request - State: closed - Opened by shnarazk almost 2 years ago

#197 - 20221031 replace SolverError::OutOfRange with SolverError::InvalidLiteral

Pull Request - State: closed - Opened by shnarazk almost 2 years ago

#196 - Do we need SolverError::InvalidLiteral ?

Issue - State: closed - Opened by shnarazk almost 2 years ago
Labels: type system

#195 - 20221026 cdb

Pull Request - State: closed - Opened by shnarazk almost 2 years ago - 2 comments
Labels: idea

#194 - Fix misc calculation bugs on stage/cycle/segment model

Pull Request - State: closed - Opened by shnarazk almost 2 years ago
Labels: bug, idea

#193 - EmptyClause when no empty clause in input.

Issue - State: closed - Opened by sirandreww almost 2 years ago - 1 comment

#192 - SLS

Pull Request - State: closed - Opened by shnarazk almost 2 years ago - 2 comments
Labels: new scheme, idea

#191 - Certificate::try_from(vec![vec![]]) should return Ok(Certificate::UNSAT)

Issue - State: closed - Opened by shnarazk almost 2 years ago - 1 comment
Labels: bug

#190 - Minor cleanup

Pull Request - State: closed - Opened by ongardie almost 2 years ago - 1 comment

#189 - (transform_by_simplification) update cdb::num_learnt (resolve #188)

Pull Request - State: closed - Opened by shnarazk almost 2 years ago
Labels: bug

#188 - panic: attempt to subtract with overflow

Issue - State: closed - Opened by Dekker1 almost 2 years ago - 2 comments
Labels: bug

#187 - feature 'reward_annealing'

Pull Request - State: closed - Opened by shnarazk almost 2 years ago - 3 comments
Labels: parameter tuning, idea

#186 - Add builder pattern to structs

Issue - State: closed - Opened by shnarazk almost 2 years ago
Labels: type system

#185 - Splr-0.17.0

Pull Request - State: closed - Opened by shnarazk almost 2 years ago - 5 comments
Labels: bug, enhancement, type system, experimental project

#184 - Splr-0.16.3

Pull Request - State: closed - Opened by shnarazk almost 2 years ago
Labels: bug

#183 - Panic at 'Invalid VarId for heap: vn 0, n 0'

Issue - State: closed - Opened by hbierlee almost 2 years ago - 1 comment

#182 - Index out of bounds panic

Issue - State: closed - Opened by Dekker1 almost 2 years ago - 3 comments

#181 - dev-0.16.2: merge sub crate 'splr-cnf' to 'splr'

Pull Request - State: closed - Opened by shnarazk almost 2 years ago
Labels: dependencies

#180 - Fix errors about feature 'incremental-solver'

Pull Request - State: closed - Opened by shnarazk almost 2 years ago
Labels: bug

#179 - Incremental Solver feature broken on 0.15.0

Issue - State: closed - Opened by Dekker1 almost 2 years ago - 3 comments

#178 - 20220806 clippy

Pull Request - State: closed - Opened by shnarazk about 2 years ago

#177 - new branch '20220803_f64-total_cmp`

Pull Request - State: closed - Opened by shnarazk about 2 years ago
Labels: type system

#176 - Switch to f64::total_cmp instead of OrderProxy

Issue - State: closed - Opened by shnarazk about 2 years ago - 1 comment
Labels: type system

#175 - dev-0.16.0

Pull Request - State: closed - Opened by shnarazk over 2 years ago
Labels: bug

#174 - 0.15 crashed

Issue - State: closed - Opened by shnarazk over 2 years ago
Labels: bug

#173 - LB entanglement 20220404

Pull Request - State: closed - Opened by shnarazk over 2 years ago
Labels: parameter tuning

#172 - --Splr-0.15.0-beta2--

Pull Request - State: closed - Opened by shnarazk over 2 years ago - 2 comments
Labels: parameter tuning

#171 - Evaluate the clause filter used in reduce

Issue - State: closed - Opened by shnarazk over 2 years ago

#170 - Introduce StageManager and RestartManager

Pull Request - State: closed - Opened by shnarazk over 2 years ago
Labels: parameter tuning, idea

#169 - Comparisons of LB distances and LB entanglements

Issue - State: closed - Opened by shnarazk over 2 years ago
Labels: parameter tuning

#168 - EXP: from decision-making model to simple dynamics model 20220321

Pull Request - State: closed - Opened by shnarazk over 2 years ago - 7 comments
Labels: idea

#167 - How do we define restart parameters

Issue - State: closed - Opened by shnarazk over 2 years ago

#166 - Allow infinite restart thresholds

Pull Request - State: closed - Opened by shnarazk over 2 years ago
Labels: bug, idea

#165 - Staged-restart 20220313

Pull Request - State: closed - Opened by shnarazk over 2 years ago - 4 comments
Labels: parameter tuning

#164 - more refactoring

Pull Request - State: closed - Opened by shnarazk over 2 years ago - 3 comments
Labels: type system, experimental project

#163 - Stages that control activity, elimination, reduction, restart, trail-saving and vivification

Pull Request - State: closed - Opened by shnarazk over 2 years ago - 8 comments
Labels: idea, experimental project

#162 - Differentiate EMA lengths with restart cycles

Issue - State: closed - Opened by shnarazk over 2 years ago

#161 - Switch to average function, Introduce StageManager

Pull Request - State: closed - Opened by shnarazk over 2 years ago - 1 comment
Labels: type system, experimental project

#160 - Compare average with EMA

Issue - State: closed - Opened by shnarazk over 2 years ago

#159 - Stochastic Local Search in Splr

Issue - State: closed - Opened by shnarazk over 2 years ago
Labels: enhancement

#158 - Dev 0.15.0

Pull Request - State: closed - Opened by shnarazk over 2 years ago - 2 comments
Labels: type system, idea

#157 - 20211026 binary link

Pull Request - State: closed - Opened by shnarazk almost 3 years ago
Labels: type system

#156 - Is HashMap of binary clauses truly needed?

Issue - State: closed - Opened by shnarazk almost 3 years ago

GitHub / shnarazk/splr issues and pull requests