Search results

memo

experimental project

new schemeimport some idea on papersimport some idea on papers

Status: Open.

#325 In shnarazk/splr;

· shnarazk opened on Apr 24, 2026

Var reward -guided restart policy

new schemeimport some idea on papersimport some idea on papers

Status: Open.

#322 In shnarazk/splr;

· shnarazk opened on Apr 19, 2026

Assign vector to reduce cache pressure

enhancementNew feature or requestNew feature or request

Status: Open.

#318 In shnarazk/splr;

· shnarazk opened on Apr 10, 2026

LBD is a meaningful measure only if the all literals are assigned, I guess

experimental project

Status: Open.

#312 In shnarazk/splr;

· shnarazk opened on Mar 24, 2026

Concurrent BCP

experimental project

Status: Open.

#305 In shnarazk/splr;

· shnarazk opened on Mar 8, 2026

Not LRAT, but DPR or GRAT

enhancementNew feature or requestNew feature or request

Status: Open.

#303 In shnarazk/splr;

· shnarazk opened on Mar 6, 2026

ROADMAP

enhancementNew feature or requestNew feature or request

Status: Open.

#299 In shnarazk/splr;

· shnarazk opened on Feb 24, 2026

Incremental Interface adding Clauses to an empty solver causes undefined behavior

Status: Open.

#298 In shnarazk/splr;

· XeroOl opened on Jun 18, 2025

Adopt "Tiny Pointers"

enhancementNew feature or requestNew feature or request

experimental project

Status: Open.

#292 In shnarazk/splr;

· shnarazk opened on Apr 29, 2025

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

Status: Open.

#286 In shnarazk/splr;

· shnarazk opened on Jan 28, 2025

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

ideaMy original ideaMy original idea

Status: Open.

#283 In shnarazk/splr;

· shnarazk opened on Jan 27, 2025

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

experimental project

Status: Open.

#278 In shnarazk/splr;

· shnarazk opened on Jan 11, 2025