Search results

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

Add time limits for MUS algorithms

Status: Open.

#881 In CPMpy/cpmpy;

· hbierlee opened on Mar 24, 2026

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

Status: Open.

#861 In CPMpy/cpmpy;

· hbierlee opened on Feb 26, 2026

Tolerance issue for gurobi leading to incorrect/out-of-domain assignments

Status: Open.

#858 In CPMpy/cpmpy;

· hbierlee opened on Feb 20, 2026

Problem initialisation overhead

Status: Open.

#849 In CPMpy/cpmpy;

· christiansegercrantz opened on Feb 5, 2026

New global tracker

Status: Open.

#846 In CPMpy/cpmpy;

· tias opened on Feb 2, 2026

New solver tracker

new solver

Status: Open.

#845 In CPMpy/cpmpy;

· tias opened on Feb 2, 2026

Issue parsing particular XCSP3 constraint

Status: Open.

#838 In CPMpy/cpmpy;

· hbierlee opened on Jan 27, 2026

On flattening, linearization and cse

discussion

Status: Open.

#837 In CPMpy/cpmpy;

· IgnaceBleukx opened on Jan 26, 2026

None argument in Cumulative (demand) not allowed by safening

fuzz-test

Status: Open.

#828 In CPMpy/cpmpy;

· ThomSerg opened on Jan 16, 2026

to_cnf 0 + 1 == 1

blockedPull request blocked by another pull request/issue.Pull request blocked by another pull request/issue.

fuzz-test

Status: Open.

#827 In CPMpy/cpmpy;

· ThomSerg opened on Jan 16, 2026