Issues

• Add usability info to the readme

  ConSol-Lab/Pumpkin#529 · Filter by author EmirDe opened on Aug 1, 2026

• pumpkin-checker (and maybe pumpkin-proof-processor): MiniZinc global prefix

  ConSol-Lab/Pumpkin#513 · Filter by author Dekker1 opened on Jul 23, 2026
  

• pumpkin-proof-processor error on non-continguous identifiers

  ConSol-Lab/Pumpkin#512 · Filter by author Dekker1 opened on Jul 23, 2026
  3

  

• Data structures for extended nogood propagation

  ConSol-Lab/Pumpkin#490 · Filter by author EmirDe opened on Jul 4, 2026

• Investigate/remove bound checks

  ConSol-Lab/Pumpkin#488 · Filter by author EmirDe opened on Jul 4, 2026

• Revisit the SparseSet implementation

  documentationrefactor
  Task

  ConSol-Lab/Pumpkin#434 · Filter by author maartenflippo opened on Apr 29, 2026

• Use constant whenever possible in the MiniZinc interface

  ConSol-Lab/Pumpkin#392 · Filter by author ImkoMarijnissen opened on Mar 23, 2026

• Idempotency

  enhancement
  Feature

  ConSol-Lab/Pumpkin#386 · Filter by author EmirDe opened on Mar 19, 2026

• Better autonomous search

  enhancement
  Feature

  ConSol-Lab/Pumpkin#384 · Filter by author EmirDe opened on Mar 17, 2026
  

• Consistency checkers

  documentationenhancement
  Feature

  ConSol-Lab/Pumpkin#383 · Filter by author EmirDe opened on Mar 17, 2026
  

• Half-reified propagators

  enhancement
  Feature

  ConSol-Lab/Pumpkin#382 · Filter by author EmirDe opened on Mar 17, 2026
  2

• Verify conflict analysis externally

  refactor
  Feature

  ConSol-Lab/Pumpkin#381 · Filter by author EmirDe opened on Mar 17, 2026
  1

  

• Nogood management

  enhancement
  Feature

  ConSol-Lab/Pumpkin#380 · Filter by author EmirDe opened on Mar 17, 2026
  

• Circuit

  enhancement
  Feature

  ConSol-Lab/Pumpkin#379 · Filter by author EmirDe opened on Mar 17, 2026

• Preprocessing variables

  enhancement
  Feature

  ConSol-Lab/Pumpkin#375 · Filter by author EmirDe opened on Mar 9, 2026
  1

  

• ConflictResolver::resolve_conflict should receive Conflict

  ConSol-Lab/Pumpkin#370 · Filter by author maartenflippo opened on Feb 12, 2026
  

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

  bug
  Feature

  ConSol-Lab/Pumpkin#369 · Filter by author pellico opened on Feb 11, 2026
  4

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

  bug
  Feature

  ConSol-Lab/Pumpkin#368 · Filter by author pellico opened on Feb 11, 2026

• division constraint panics with message: Denominator cannot contain 0

  bug
  Feature

  ConSol-Lab/Pumpkin#367 · Filter by author pellico opened on Feb 11, 2026

• Equality constraint with right-hand side variable

  documentationenhancement
  ConSol-Lab/Pumpkin#336 · Filter by author wjholden opened on Dec 15, 2025
  3

• Panic due to overflow when using unbounded integers

  enhancement
  ConSol-Lab/Pumpkin#330 · Filter by author JulGvoz opened on Dec 11, 2025
  4

• Tutorials for Pumpkin

  documentation
  Task

  ConSol-Lab/Pumpkin#300 · Filter by author EmirDe opened on Oct 2, 2025
  

• Memory management

  enhancement
  Feature

  ConSol-Lab/Pumpkin#298 · Filter by author EmirDe opened on Oct 1, 2025
  

• Hashing algorithms

  enhancement
  ConSol-Lab/Pumpkin#280 · Filter by author ImkoMarijnissen opened on Sep 3, 2025
  1

• Improve Linear UNSAT SAT proof performance

  enhancement
  ConSol-Lab/Pumpkin#226 · Filter by author maartenflippo opened on Jul 1, 2025
  1