Issues

• memo

  experimental projectnew scheme
  shnarazk/splr#325 · Filter by author shnarazk opened on Apr 24, 2026
  

• Var reward -guided restart policy

  new scheme
  shnarazk/splr#322 · Filter by author shnarazk opened on Apr 19, 2026
  

• Assign vector to reduce cache pressure

  enhancement
  shnarazk/splr#318 · Filter by author shnarazk opened on Apr 10, 2026
  1

  

• Concurrent BCP

  experimental project
  shnarazk/splr#305 · Filter by author shnarazk opened on Mar 8, 2026
  

• Incremental Interface adding Clauses to an empty solver causes undefined behavior

  shnarazk/splr#298 · Filter by author XeroOl opened on Jun 18, 2025
  1

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

  shnarazk/splr#286 · Filter by author shnarazk opened on Jan 28, 2025
  

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

  idea
  shnarazk/splr#283 · Filter by author shnarazk opened on Jan 27, 2025
  

• Use simd-itertools someday

  type system
  shnarazk/splr#257 · Filter by author shnarazk opened on Jul 21, 2024

• Just a memo about ZDD

  experimental project
  shnarazk/splr#226 · Filter by author shnarazk opened on Jan 18, 2024