Search results

Non-incremental solve function in solver interface

Status: Open.

#968 In CPMpy/cpmpy;

· IgnaceBleukx opened on Apr 30, 2026

Utilize MiniZinc native support for MDD global constraint

Status: Open.

#967 In CPMpy/cpmpy;

· WoutPiessens opened on Apr 30, 2026

Map more 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

Support for -> not checked for *simple logical implications* in linearize

Status: Open.

#948 In CPMpy/cpmpy;

· hbierlee opened on Apr 24, 2026

Fix test coverage related issues

Status: Open.

#940 In CPMpy/cpmpy;

· hbierlee opened on Apr 22, 2026

Update fast path in solver_var

enhancement

performance

simple to reviewSimple change to review, e.g., a oneliner.Simple change to review, e.g., a oneliner.

Status: Open.

Task

#938 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

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

Status: Open.

#887 In CPMpy/cpmpy;

· OrestisLomis opened on Mar 25, 2026