Search results

Add encode_as flag to integer vars

Status: Open.

#1064 In CPMpy/cpmpy;

· IgnaceBleukx opened on Jul 20, 2026

Raise warning for outdated solvers

Status: Open.

#1053 In CPMpy/cpmpy;

· IgnaceBleukx opened on Jul 17, 2026

ShortTable test passes locally but fails in the CI

Status: Open.

#1025 In CPMpy/cpmpy;

· WoutPiessens opened on Jun 23, 2026

Tracker: Native MUS/IIS interfaces

Status: Open.

#977 In CPMpy/cpmpy;

· OrestisLomis opened on May 12, 2026

Non-incremental solve function in solver interface

Status: Open.

#968 In CPMpy/cpmpy;

· IgnaceBleukx opened on Apr 30, 2026

Map missing global constraints to MiniZinc interface

Status: Open.

#966 In CPMpy/cpmpy;

· WoutPiessens opened on Apr 30, 2026

Tunable parameters

Status: Open.

#963 In CPMpy/cpmpy;

· OrestisLomis opened on Apr 28, 2026

Fix test coverage related issues

Status: Open.

#940 In CPMpy/cpmpy;

· hbierlee opened on Apr 22, 2026

Support SCIP native solution enumeration

Status: Open.

#932 In CPMpy/cpmpy;

· hbierlee opened on Apr 21, 2026

Support SOS constraints for gurobi

Status: Open.

#925 In CPMpy/cpmpy;

· hbierlee opened on Apr 17, 2026

Roadmap: typing expressions

Status: Open.

#913 In CPMpy/cpmpy;

· tias opened on Apr 7, 2026

Log encoding with Exact results in wrong optimization result

Status: Open.

#896 In CPMpy/cpmpy;

· IgnaceBleukx opened on Mar 31, 2026