Search results

Equality constraint with right-hand side variable

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

#336 In ConSol-Lab/Pumpkin;

· wjholden opened on Dec 15, 2025

Panic due to overflow when using unbounded integers

enhancementNew feature or requestNew feature or request

Status: Open.

#330 In ConSol-Lab/Pumpkin;

· JulGvoz opened on Dec 11, 2025

Introduce documentation for common changes to the solver

Status: Open.

#300 In ConSol-Lab/Pumpkin;

· EmirDe opened on Oct 2, 2025

Understand the reason behind OOMs

Status: Open.

#298 In ConSol-Lab/Pumpkin;

· EmirDe opened on Oct 1, 2025

Change Allocator

Status: Open.

#296 In ConSol-Lab/Pumpkin;

· ImkoMarijnissen opened on Sep 30, 2025

Hashing algorithms

enhancementNew feature or requestNew feature or request

Status: Open.

#280 In ConSol-Lab/Pumpkin;

· ImkoMarijnissen opened on Sep 3, 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

Recursive minimisation when logging full proof

Status: Open.

#214 In ConSol-Lab/Pumpkin;

· maartenflippo opened on Jun 25, 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

Commit hook looks at current state of files rather than state of added files

tooling-issueThere is a problem with the scripts/tooling in the repository.There is a problem with the scripts/tooling in the repository.

Status: Open.

#4 In ConSol-Lab/Pumpkin;

· maartenflippo opened on Jul 18, 2024