Exponential function causes overflow

Issue #816 duplicate
Pieter Van Hertum created an issue

http://seldon.cs.kuleuven.be/idp/?src=cbae7db2c097f09ef745

Voorbeeld van priemontbinding. Kan geen model vinden, maar als ik zelf factorisatie meegeef, is dit wel een model.

Comments (11)

  1. Bart Bogaerts

    Het probleem hier is dat de solver ons komt vertellen:

    Warning: Verifying and/or autocompleting structure S
    Error: Solver was aborted with message "Error: Set nr. 23 contains a 0 (zero) or negative weight -2147483648, which cannot occur in a product set.
    "
    

    Dat negatief getal komt waarschijnlijk doordat er een overlow is in de exponentiele functie.

    Of... Doordat er hier met 0^0 gewerkt wordt? Wat al niet erg gedefinieerd is

  2. Bart Bogaerts

    Beide files: zelfde fout: telkens overflow

    Zonder CP wordt dit door de solver gedecteerd, met CP niet (CP kan werken met negatieve getallen)

  3. Log in to comment