Issues

• Define output of the presolving

  potassco/constraint-handler#428 · Filter by author sthiele opened on Sep 28, 2026

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

  potassco/constraint-handler#427 · Filter by author sthiele opened on Sep 28, 2026

• Create naive prototype of the python API to run first experiments

  potassco/constraint-handler#426 · Filter by author sthiele opened on Sep 28, 2026

• Fallbackk faster than constraint handler native version

  potassco/constraint-handler#414 · Filter by author MaxOstrowski opened on Sep 11, 2026
  4

  

• Inconsistent integer division

  potassco/constraint-handler#412 · Filter by author AbdallahS opened on Sep 10, 2026

• RecursionError when converting deeply nested operations

  potassco/constraint-handler#409 · Filter by author MaxOstrowski opened on Sep 8, 2026

• statement_python leads to unnecessary warnings

  potassco/constraint-handler#401 · Filter by author AbdallahS opened on Sep 3, 2026

• Propagator is not thread safe

  potassco/constraint-handler#397 · Filter by author MaxOstrowski opened on Sep 2, 2026
  

• Make evaluations retractable

  potassco/constraint-handler#395 · Filter by author MaxOstrowski opened on Sep 2, 2026
  

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

  potassco/constraint-handler#394 · Filter by author MaxOstrowski opened on Sep 2, 2026
  

• Provide an API to execute precomputation and solving separately

  potassco/constraint-handler#392 · Filter by author sthiele opened on Aug 31, 2026

• Improve propagator algorithms to increase performance

  potassco/constraint-handler#391 · Filter by author kstrauch94 opened on Aug 31, 2026
  

• Improve performance of propagator via preprocessing

  potassco/constraint-handler#390 · Filter by author kstrauch94 opened on Aug 31, 2026
  

• Difference in treatment of None for conj/disj in compile and propagator engines

  potassco/constraint-handler#389 · Filter by author kstrauch94 opened on Aug 31, 2026

• FCH transforms optimization criteria

  potassco/constraint-handler#369 · Filter by author AbdallahS opened on Jul 30, 2026

• compile2 behaves non-deterministically in the ordering of the facts/rules produces

  potassco/constraint-handler#331 · Filter by author MaxOstrowski opened on Jul 8, 2026
  

• An independent propagator to control the solving without enabling domain heuristics

  potassco/constraint-handler#313 · Filter by author daveraja opened on Jun 23, 2026
  

• post_processor.py should not depend on _optimize_maximizeSum/4

  potassco/constraint-handler#298 · Filter by author wanko opened on Jun 12, 2026

• Manually assigning a value to execution_output should give at least a warning

  potassco/constraint-handler#276 · Filter by author kstrauch94 opened on Jun 1, 2026

• ground engine executions

  potassco/constraint-handler#271 · Filter by author MaxOstrowski opened on May 19, 2026
  

• mkdocs serve warning

  potassco/constraint-handler#260 · Filter by author MaxOstrowski opened on Apr 23, 2026
  1

  

• Very brittle propagator-check performance

  potassco/constraint-handler#258 · Filter by author AbdallahS opened on Apr 23, 2026

• Twice the amount of variables needed

  potassco/constraint-handler#257 · Filter by author MaxOstrowski opened on Apr 22, 2026
  3

  

• The recoverable operator mechanism is buggy

  potassco/constraint-handler#253 · Filter by author AbdallahS opened on Apr 21, 2026
  3

• Unnecessary executions

  potassco/constraint-handler#247 · Filter by author MaxOstrowski opened on Apr 15, 2026