bokner/fixpoint

Issues

• Implement ElementVar with 2D matrix

  #44 opened 13 days ago by bokner
  0

• Add Element constraint with variable list/matrix.

  #30 opened 13 days ago by bokner
  0

• Implication, equivalence, inverse impilcation

  #42 opened 22 days ago by bokner
  0

• Propagator binding

  #41 opened 23 days ago by bokner
  0

• Implement Or(list_of_bool_vars)

  #40 opened 23 days ago by bokner
  0

• Implement reified constraints

  #35 opened 23 days ago by bokner
  0

• Possible race condition when removing a single value from bitvector domain

  #36 opened 2 months ago by bokner
  0

• Implement max_regret for variable choice

  #34 opened 3 months ago by bokner
  0

• Implement store with constraint graph

  #33 opened 3 months ago by bokner
  0

• AllDifferent FWC is very slow.

  #32 opened 3 months ago by bokner
  0

• Add 'abs' (Absolute) constraint

  #29 opened 3 months ago by bokner
  0