Search results

<code>ConflictResolver::resolve_conflict</code> should receive <code>Conflict</code>

Status: Open.

#370 In ConSol-Lab/Pumpkin;

· maartenflippo opened on Feb 12, 2026

<code>plus</code> constraint over unbounded variables panic with message <code>attempt to subtract with overflow</code>

Status: Open.

#369 In ConSol-Lab/Pumpkin;

· pellico opened on Feb 11, 2026

<code>times</code> constraint with unbounded variables panic with: <code>attempt to subtract with overflow</code>

Status: Open.

#368 In ConSol-Lab/Pumpkin;

· pellico opened on Feb 11, 2026

<code>division</code> constraint panics with message: <code>Denominator cannot contain 0</code>

Status: Open.

#367 In ConSol-Lab/Pumpkin;

· pellico opened on Feb 11, 2026

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

enhancementNew feature or requestNew feature or request

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