All pull requests

Pull requests

• refactor(pumpkin-core): Factor out optimisation into separate crate

  #641·ImkoMarijnissen opened Nov 3, 2026Contributor·

  ·

• feat: Add the -n and -i flags

  #640·ImkoMarijnissen opened Nov 3, 2026Contributor·

  ·

• fix(pumpkin-core): Report correct final solution in linear-unsat-sat

  #639·ImkoMarijnissen opened Nov 3, 2026Contributor·

  ·

• refactor(pumpkin-core): Do not push root-level entries onto TrailedValues

  #638·ImkoMarijnissen opened Nov 3, 2026Contributor·

  ·

• fix(pumpkin-core): Unregister nogood propagator for predicates during cleanup

  #636·ImkoMarijnissen opened Nov 2, 2026Contributor·

  ·

• fix(pumpkin-solver): When no search is specified, do not search over objective first

  #628·ImkoMarijnissen opened Oct 22, 2026Contributor·

  ·
  1

• [7/15] feat(checking): add retention checkers for every rule

  #612·EmirDe opened Oct 13, 2026Contributor·

  ·

• [6/15] refactor(checking): folders for types and checkers, and named outcomes for conflict checks

  #611·EmirDe opened Oct 13, 2026Contributor·

  ·

• feat: Make Predicate an IntegerVariable

  #610·ImkoMarijnissen opened Oct 13, 2026Contributor·

  ·
  15

• [5/5] refactor(pumpkin-core): Introduce conflict rules

  #609·EmirDe opened Oct 9, 2026Contributor·

  ·
  16

• [4/5] refactor(pumpkin-core,pumpkin-checking): Move the conflict checkers into pumpkin-checking

  #608·EmirDe opened Oct 9, 2026Contributor·

  ·
  9

• [3/5] feat(pumpkin-core): Add ConstraintDescription and Scope

  #607·EmirDe opened Oct 9, 2026Contributor·

  ·
  57

• [2/5] chore(pumpkin-propagators,pumpkin-core): Separate constructor, propagator, and tests

  #606·EmirDe opened Oct 9, 2026Contributor·

  ·
  15

• [1/5] refactor: Rename InferenceChecker to ConflictChecker

  #605·EmirDe opened Oct 9, 2026Contributor·

  ·
  1

• chore(pumpkin-core): Update cached predicate when known to not be satisfied

  #601·ImkoMarijnissen opened Oct 5, 2026Contributor·

  ·

• refactor(pumpkin-core): Store nogood index in arena

  #599·ImkoMarijnissen opened Oct 2, 2026Contributor·

  ·

• fix(pumpkin-propagators): Soundness bug in the absolute value checker

  #561·EmirDe opened Sep 3, 2026Contributor·

  ·
  4

• feat(pumpkin-core): Detailed per propagator logging

  #555·EmirDe opened Sep 2, 2026Contributor·

  ·
  2

• feat(pumpkin-core): Add additional (coarse) timing statistics

  #554·EmirDe opened Sep 2, 2026Contributor·

  ·
  4

• chore: Release packages

  release
  #546·github-actions[bot] opened Aug 7, 2026Bot·

  ·

• feat: Implement Circuit Propagator

  #520·ImkoMarijnissen opened Jul 28, 2026Contributor·2 tasks·

  ·
  2

• feat: Add a new nogood management scheme, replacing the tiered system

  #455·Hubert1913 opened May 25, 2026·

  ·
  17

• feat(pumpkin-solver): Implement consistency checker infrastructure

  #449·maartenflippo opened May 20, 2026Contributor·13 of 18 tasks·

  ·
  32

  

• Make integer multiplication bounds-consistent

  #448·ThatsJustUnlucky opened May 14, 2026·

  ·
  5

• feat(pumpkin-core): Implement hypercube linear resolution

  #408·maartenflippo opened Apr 13, 2026Contributor·4 tasks done·

  ·
  1