Search results

Better autonomous search

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#384 In ConSol-Lab/Pumpkin;

· EmirDe opened on Mar 17, 2026

Consistency checkers

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#383 In ConSol-Lab/Pumpkin;

· EmirDe opened on Mar 17, 2026

Half-reified propagators

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#382 In ConSol-Lab/Pumpkin;

· EmirDe opened on Mar 17, 2026

Verify conflict analysis externally

refactor

Status: Open.

Feature

#381 In ConSol-Lab/Pumpkin;

· EmirDe opened on Mar 17, 2026

Nogood management

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#380 In ConSol-Lab/Pumpkin;

· EmirDe opened on Mar 17, 2026

Circuit

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#379 In ConSol-Lab/Pumpkin;

· EmirDe opened on Mar 17, 2026

Preprocessing variables

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#375 In ConSol-Lab/Pumpkin;

· EmirDe opened on Mar 9, 2026

ConflictResolver::resolve_conflict should receive Conflict

Status: Open.

#370 In ConSol-Lab/Pumpkin;

· maartenflippo opened on Feb 12, 2026

plus constraint over unbounded variables panic with message attempt to subtract with overflow

bugSomething isn't workingSomething isn't working

Status: Open.

Feature

#369 In ConSol-Lab/Pumpkin;

· pellico opened on Feb 11, 2026

times constraint with unbounded variables panic with: attempt to subtract with overflow

bugSomething isn't workingSomething isn't working

Status: Open.

Feature

#368 In ConSol-Lab/Pumpkin;

· pellico opened on Feb 11, 2026

division constraint panics with message: Denominator cannot contain 0

bugSomething isn't workingSomething isn't working

Status: Open.

Feature

#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