astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Add IntView for exponentiation with a constant #154

Closed Dekker1 closed 7 months ago

Dekker1 commented 7 months ago

This PR adds an additional view that allows exponentiation. The exponentiation might seems a little simplistic, but this avoids rounding of the standard library function that would use floating point operations. (This is similar how the MiniZinc built-in function operates).