shnarazk/splr issues and pull requests

#291 - 20250209 bounded static var refs

Pull Request - State: open - Opened by shnarazk 11 days ago

#290 - `pub static mut VAR_ACTIVITY_MANAGER: VarActivityManager`

Pull Request - State: closed - Opened by shnarazk 15 days ago
Labels: type system

#289 - `static mut VAR_VECTOR: Vec<Var>`

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

#288 - 20250202 refactor primitive types

Pull Request - State: closed - Opened by shnarazk 18 days ago
Labels: type system

#287 - Wrong computations!

Issue - State: closed - Opened by shnarazk 19 days ago
Labels: bug

#286 - Is `Vec<Clause>` the best way to implement watch lists?

Issue - State: open - Opened by shnarazk 23 days ago

#285 - Clause holds &'static Var

Pull Request - State: open - Opened by shnarazk 23 days ago

#284 - Dev-0.18.0 20250128

Pull Request - State: open - Opened by shnarazk 23 days ago
Labels: experimental project

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

Issue - State: open - Opened by shnarazk 25 days ago
Labels: idea

#282 - Dev 0.17.4

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

#281 - gc is broken in 0.17.2

Issue - State: closed - Opened by shnarazk 26 days ago
Labels: bug

#280 - 20250112-lit-to-clause

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

#279 - Dev 0.19

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

#278 - Switch from Watch list and/or Dancing links to a complete bi-graph from `Lit` to `Clause`

Issue - State: open - Opened by shnarazk about 1 month ago
Labels: experimental project

#277 - Fix crash due to sorting with non-transitive order

Pull Request - State: closed - Opened by Ordoviz about 2 months ago - 4 comments

#276 - Just dance 20241213

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

#275 - 20241115 orthogonal restart

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

#274 - [Don't merge] cherry picking from `#20240928-labor-pain`

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

#273 - DONT MERGE: 20240928 labor pain

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

#272 - Vivification lacks clause subsumption case??

Issue - State: closed - Opened by shnarazk 5 months ago - 1 comment
Labels: bug

#270 - Entanglement was defined wrongly

Issue - State: open - Opened by shnarazk 5 months ago
Labels: bug

#269 - 20240922 harmonic reduction

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

#268 - Luby vibration

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

#267 - Extending LBD from int to float

Issue - State: closed - Opened by shnarazk 5 months ago - 1 comment
Labels: idea

#261 - Luby sequence controls restart and var activity decay rate

Pull Request - State: closed - Opened by shnarazk 6 months ago
Labels: idea, experimental project

#260 - 20240805 last free lit handling in propagate

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

#259 - 20240728 rewrite `conflict_analyze`

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

#258 - 20240721 complete depend graph

Pull Request - State: closed - Opened by shnarazk 7 months ago
Labels: idea, experimental project

#257 - Use simd-itertools someday

Issue - State: open - Opened by shnarazk 7 months ago
Labels: type system

#255 - Fix errors on features on reduce

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

#254 - Spin momentum

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

#253 - 20240714 delete biclause loop

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

#251 - WatchLiteralIndex dancing weaves

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

#250 - Switch to WatchLiteralIndexWeaver

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

#249 - Add feature `deterministic`

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

#246 - Add feature 'deterministic' to fix bugs

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

#245 - Add feature 'interleave'

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

#243 - 20240502 no restart

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

#242 - 20240422 dancing watchers

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

#241 - 20240425 Clause Weaver

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

#240 - 20240412-DancingIndex

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

#239 - 20240406 clause ref

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

#238 - Introduce ClauseRef instead of ClauseId

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

#237 - dev-0.18.0

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

#236 - 20240323 rayon propagate

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

#235 - Bump bitflags from 2.4.2 to 2.5.0

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

#234 - (nix) Switch to rustPlatform

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

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

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

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

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

#231 - Implement LDAT format

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

#230 - cargo clippy (1.76); cargo update

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

#229 - Bump bitflags from 2.4.1 to 2.4.2

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

#228 - Add feature `platform_wasm`

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

#226 - Just a memo about ZDD

Issue - State: open - Opened by shnarazk about 1 year ago
Labels: experimental project

#225 - (nixpkgs) re-package with crane

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

#224 - Dev 0.17.1

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

#223 - no_IO is incompatible with Splr executables

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

#222 - no_IO is incompatible with Splr executables

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

#221 - Is no-std still supported?

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

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

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#219 - fix the nix flake

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

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

Pull Request - State: closed - Opened by shnarazk almost 2 years 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] almost 2 years ago - 1 comment
Labels: dependencies

#216 - 20230415 rayon parallel propagation

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

#215 - 20230415 rayon propagation

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

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

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

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

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

#212 - Incremental search example

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

#211 - dev-0.17.1

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

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

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies

#209 - GADT for PropertyDereference

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

#208 - 20221119 two_mode_reduction

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

#207 - O(1) Luby iterator

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

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

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