Issues

• Regular constraints gives KeyError when its starting and/or accepting state does not appear in any transition

  CPMpy/cpmpy#1137 · Filter by author OrestisLomis opened on Oct 22, 2026
  1

• Element conditional is_bool

  needs discussion
  CPMpy/cpmpy#1121 · Filter by author ThomSerg opened on Oct 12, 2026

• Generator expressions

  needs discussion
  CPMpy/cpmpy#1119 · Filter by author ThomSerg opened on Oct 12, 2026

• Cache Expression.__hash__ instead of rebuilding the string repr on every lookup

  needs discussionperformance
  CPMpy/cpmpy#1090 · Filter by author HelgeS opened on Aug 19, 2026
  2

• Choco crashes when resolving an optimisation problem

  upstream bug
  CPMpy/cpmpy#1079 · Filter by author OrestisLomis opened on Aug 10, 2026

• Variadic constraints (non) trivial arity

  discussioninconsistency
  CPMpy/cpmpy#1077 · Filter by author ThomSerg opened on Aug 10, 2026
  1

• Tracker: parameterizing pytest

  CPMpy/cpmpy#1076 · Filter by author tias opened on Aug 10, 2026

• Use hermax as dependency for maxsat solvers

  CPMpy/cpmpy#1069 · Filter by author OrestisLomis opened on Jul 24, 2026
  4

• Add encode_as flag to integer vars

  CPMpy/cpmpy#1064 · Filter by author IgnaceBleukx opened on Jul 20, 2026
  2

• Raise warning for outdated solvers

  CPMpy/cpmpy#1053 · Filter by author IgnaceBleukx opened on Jul 17, 2026
  4

  

• ShortTable test passes locally but fails in the CI

  CPMpy/cpmpy#1025 · Filter by author WoutPiessens opened on Jun 23, 2026
  3

• Tracker: Native MUS/IIS interfaces

  CPMpy/cpmpy#977 · Filter by author OrestisLomis opened on May 12, 2026
  6

• Non-incremental solve function in solver interface

  CPMpy/cpmpy#968 · Filter by author IgnaceBleukx opened on Apr 30, 2026

• Map missing global constraints to MiniZinc interface

  CPMpy/cpmpy#966 · Filter by author WoutPiessens opened on Apr 30, 2026
  1

• Tunable parameters

  CPMpy/cpmpy#963 · Filter by author OrestisLomis opened on Apr 28, 2026
  2

• Fix test coverage related issues

  CPMpy/cpmpy#940 · Filter by author hbierlee opened on Apr 22, 2026
  1

• Support SCIP native solution enumeration

  CPMpy/cpmpy#932 · Filter by author hbierlee opened on Apr 21, 2026
  2

• Support SOS constraints for gurobi

  CPMpy/cpmpy#925 · Filter by author hbierlee opened on Apr 17, 2026
  1

• Roadmap: typing expressions

  CPMpy/cpmpy#913 · Filter by author tias opened on Apr 7, 2026

• Gurobi reports PB instances as satisfiable when they are not, large coefficients

  CPMpy/cpmpy#887 · Filter by author OrestisLomis opened on Mar 25, 2026
  1

• Add time limits for MUS algorithms

  CPMpy/cpmpy#881 · Filter by author hbierlee opened on Mar 24, 2026
  4

• Linearizing reified variables for solver without ivarmap duplicates domain constraints if called multiple times

  CPMpy/cpmpy#861 · Filter by author hbierlee opened on Feb 26, 2026
  1

• Problem initialisation overhead

  CPMpy/cpmpy#849 · Filter by author christiansegercrantz opened on Feb 5, 2026
  2

• Tracker: New global constraints

  CPMpy/cpmpy#846 · Filter by author tias opened on Feb 2, 2026

• Tracker: new solvers

  new solver
  CPMpy/cpmpy#845 · Filter by author tias opened on Feb 2, 2026