Search results

Hashing algorithms

enhancementNew feature or requestNew feature or request

Status: Open.

#280 In ConSol-Lab/Pumpkin;

· ImkoMarijnissen opened on Sep 3, 2025

Version of solver in Python interface

Status: Open.

#271 In ConSol-Lab/Pumpkin;

· ThomSerg opened on Aug 8, 2025

Include the Git hash/branch on build

Status: Open.

#268 In ConSol-Lab/Pumpkin;

· ImkoMarijnissen opened on Aug 1, 2025

Improve Linear UNSAT SAT proof performance

enhancementNew feature or requestNew feature or request

Status: Open.

#226 In ConSol-Lab/Pumpkin;

· maartenflippo opened on Jul 1, 2025

Finalizing the proof scaffold is broken

bugSomething isn't workingSomething isn't working

Status: Open.

#225 In ConSol-Lab/Pumpkin;

· maartenflippo opened on Jul 1, 2025

Recursive minimisation when logging full proof

Status: Open.

#214 In ConSol-Lab/Pumpkin;

· maartenflippo opened on Jun 25, 2025

The <code>ReifiedPropagator</code> should make use of the reborrowing of contexts

Status: Open.

#207 In ConSol-Lab/Pumpkin;

· maartenflippo opened on Jun 19, 2025

Optimise with assumptions

Status: Open.

#193 In ConSol-Lab/Pumpkin;

· maartenflippo opened on May 15, 2025

Error during logging of root-level propagation

Status: Open.

#175 In ConSol-Lab/Pumpkin;

· IgnaceBleukx opened on Apr 17, 2025

WebAssembly compatible?

Status: Open.

#161 In ConSol-Lab/Pumpkin;

· lmmx opened on Mar 17, 2025

[Request] good_lp solver integration

Status: Open.

#160 In ConSol-Lab/Pumpkin;

· lmmx opened on Mar 16, 2025

Potential unclear usage of notify and notify_backtrack

bugSomething isn't workingSomething isn't working

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#54 In ConSol-Lab/Pumpkin;

· ImkoMarijnissen opened on Sep 23, 2024