4 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

1 Pull request merged by 1 person

• Dev 0.17.4

  #282 merged Jan 28, 2025

2 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

1 Issue closed by 1 person

• gc is broken in 0.17.2

  #281 closed Jan 28, 2025

2 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