All issues

Search results

Define output of the presolving

Status: Open.

#428 In potassco/constraint-handler;

· sthiele opened on Sep 28, 2026

Identify what can be grounded independently in the pre-soleve stage (create inventory)

Status: Open.

#427 In potassco/constraint-handler;

· sthiele opened on Sep 28, 2026

Create naive prototype of the python API to run first experiments

Status: Open.

#426 In potassco/constraint-handler;

· sthiele opened on Sep 28, 2026

Fallbackk faster than constraint handler native version

Status: Open.

#414 In potassco/constraint-handler;

· MaxOstrowski opened on Sep 11, 2026

Inconsistent integer division

Status: Open.

#412 In potassco/constraint-handler;

· AbdallahS opened on Sep 10, 2026

RecursionError when converting deeply nested operations

Status: Open.

#409 In potassco/constraint-handler;

· MaxOstrowski opened on Sep 8, 2026

statement_python leads to unnecessary warnings

Status: Open.

#401 In potassco/constraint-handler;

· AbdallahS opened on Sep 3, 2026

Propagator is not thread safe

Status: Open.

#397 In potassco/constraint-handler;

· MaxOstrowski opened on Sep 2, 2026

Make evaluations retractable

Status: Open.

#395 In potassco/constraint-handler;

· MaxOstrowski opened on Sep 2, 2026

Use counter or 1/2-watched literal schemes to detect expressions with 1/0 unassigned variable(s)

Status: Open.

#394 In potassco/constraint-handler;

· MaxOstrowski opened on Sep 2, 2026

Provide an API to execute precomputation and solving separately

Status: Open.

#392 In potassco/constraint-handler;

· sthiele opened on Aug 31, 2026

Improve propagator algorithms to increase performance

Status: Open.

#391 In potassco/constraint-handler;

· kstrauch94 opened on Aug 31, 2026