Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / shnarazk/splr issues and pull requests
#261 - Luby sequence controls restart and var activity decay rate
Pull Request -
State: open - Opened by shnarazk about 1 month ago
Labels: idea, experimental project
#260 - 20240805 last free lit handling in propagate
Pull Request -
State: closed - Opened by shnarazk about 1 month ago
#259 - 20240728 rewrite `conflict_analyze`
Pull Request -
State: closed - Opened by shnarazk about 2 months ago
#258 - 20240721 complete depend graph
Pull Request -
State: closed - Opened by shnarazk about 2 months ago
Labels: idea, experimental project
#257 - Use simd-itertools someday
Issue -
State: open - Opened by shnarazk about 2 months ago
Labels: type system
#255 - Fix errors on features on reduce
Pull Request -
State: closed - Opened by shnarazk about 2 months ago
Labels: type system
#254 - Spin momentum
Pull Request -
State: closed - Opened by shnarazk 2 months ago
- 1 comment
Labels: idea, experimental project
#253 - 20240714 delete biclause loop
Pull Request -
State: closed - Opened by shnarazk 2 months ago
Labels: experimental project
#251 - WatchLiteralIndex dancing weaves
Pull Request -
State: closed - Opened by shnarazk 2 months ago
Labels: experimental project
#250 - Switch to WatchLiteralIndexWeaver
Pull Request -
State: closed - Opened by shnarazk 2 months ago
Labels: bug, enhancement
#249 - Add feature `deterministic`
Pull Request -
State: closed - Opened by shnarazk 3 months ago
Labels: enhancement
#246 - Add feature 'deterministic' to fix bugs
Pull Request -
State: closed - Opened by shnarazk 3 months ago
Labels: bug, enhancement
#245 - Add feature 'interleave'
Pull Request -
State: closed - Opened by shnarazk 3 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 5 months ago
#241 - 20240425 Clause Weaver
Pull Request -
State: closed - Opened by shnarazk 5 months ago
Labels: experimental project
#240 - 20240412-DancingIndex
Pull Request -
State: closed - Opened by shnarazk 5 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 6 months ago
Labels: enhancement, type system, experimental project
#237 - dev-0.18.0
Pull Request -
State: open - Opened by shnarazk 6 months ago
- 1 comment
Labels: enhancement, experimental project
#236 - 20240323 rayon propagate
Pull Request -
State: closed - Opened by shnarazk 6 months ago
#235 - Bump bitflags from 2.4.2 to 2.5.0
Pull Request -
State: closed - Opened by dependabot[bot] 6 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 7 months ago
Labels: bug
#232 - Panic in eliminate.rs when calling `Certificate::try_from(Vec<Vec<i32>>)`
Issue -
State: closed - Opened by Nathan-Fenner 7 months ago
- 1 comment
#231 - Implement LDAT format
Issue -
State: open - Opened by shnarazk 7 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] 8 months ago
- 1 comment
Labels: dependencies
#228 - Add feature `platform_wasm`
Pull Request -
State: closed - Opened by shnarazk 8 months ago
Labels: enhancement
#226 - Just a memo about ZDD
Issue -
State: open - Opened by shnarazk 8 months ago
Labels: experimental project
#225 - (nixpkgs) re-package with crane
Pull Request -
State: closed - Opened by shnarazk 9 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 almost 2 years 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 about 2 years ago
Labels: bug
#183 - Panic at 'Invalid VarId for heap: vn 0, n 0'
Issue -
State: closed - Opened by hbierlee about 2 years ago
- 1 comment
#182 - Index out of bounds panic
Issue -
State: closed - Opened by Dekker1 about 2 years ago
- 3 comments
#181 - dev-0.16.2: merge sub crate 'splr-cnf' to 'splr'
Pull Request -
State: closed - Opened by shnarazk about 2 years ago
Labels: dependencies
#180 - Fix errors about feature 'incremental-solver'
Pull Request -
State: closed - Opened by shnarazk about 2 years ago
Labels: bug
#179 - Incremental Solver feature broken on 0.15.0
Issue -
State: closed - Opened by Dekker1 about 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