5 Releases published by 1 person

• Splr-0.17.3 Version 0.17.3

  published Jan 28, 2025

• Splr-0.17.4 Version 0.17.4

  published Jan 28, 2025

• Splr-0.18.0-dev0 Version 0.18.0-dev0

  published Jan 28, 2025

• Splr-0.17.5 Version 0.17.5

  published Jan 28, 2025

• Splr-0.17.6 Version 0.17.6

  published Feb 1, 2025

3 Pull requests merged by 1 person

• static mut VAR_VECTOR: Vec<Var>

  #289 merged Feb 6, 2025

• 20250202 refactor primitive types

  #288 merged Feb 3, 2025

• Dev 0.17.4

  #282 merged Jan 28, 2025

3 Pull requests opened by 1 person

• Dev-0.18.0 20250128

  #284 opened Jan 28, 2025

• Clause holds &'static Var

  #285 opened Jan 28, 2025

• `pub static mut VAR_ACTIVITY_MANAGER: VarActivityManager`

  #290 opened Feb 6, 2025

2 Issues closed by 1 person

• Wrong computations!

  #287 closed Feb 2, 2025

• gc is broken in 0.17.2

  #281 closed Jan 28, 2025

3 Issues opened by 1 person

• Is `Vec<Clause>` the best way to implement watch lists?

  #286 opened Jan 28, 2025

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

  #283 opened Jan 27, 2025

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

  #278 opened Jan 11, 2025