search

Gecode / gecode

Generic Constraint Development Environment
https://www.gecode.org
Other
275 stars 76 forks source link

Add redefinition for `int_pow_fixed` #160

Closed cyderize closed 1 year ago

cyderize commented 1 year ago

Previously the default MiniZinc decomposition into product was used instead of gecode_int_pow.