Search results

Incremental Interface adding Clauses to an empty solver causes undefined behavior

Status: Open.

#298 In shnarazk/splr;

· XeroOl opened on Jun 18, 2025

flake supports direnv

Status: Open.

#297 In shnarazk/splr;

· shnarazk opened on May 24, 2025

Reactivate chrono_BT

Status: Open.

#295 In shnarazk/splr;

· shnarazk opened on May 11, 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 <code>Vec&lt;Clause&gt;</code> the best way to implement watch lists?

Status: Open.

#286 In shnarazk/splr;

· shnarazk opened on Jan 28, 2025

How about define <code>Lit</code> as <code>(&amp;Var, bool)</code> 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 <code>Lit</code> to <code>Clause</code>

experimental project

Status: Open.

#278 In shnarazk/splr;

· shnarazk opened on Jan 11, 2025

Entanglement was defined wrongly

bugSomething isn't workingSomething isn't working

Status: Open.

#270 In shnarazk/splr;

· shnarazk opened on Sep 27, 2024

Use simd-itertools someday

type systemChanges on types for safety or generalityChanges on types for safety or generality

Status: Open.

#257 In shnarazk/splr;

· shnarazk opened on Jul 21, 2024

Implement LDAT format

Status: Open.

#231 In shnarazk/splr;

· shnarazk opened on Feb 26, 2024

Just a memo about ZDD

experimental project

Status: Open.

#226 In shnarazk/splr;

· shnarazk opened on Jan 18, 2024

O(1) Luby iterator

Status: Open.

#207 In shnarazk/splr;

· shnarazk opened on Nov 9, 2022