Decision Optimization

Decision Optimization

Delivers prescriptive analytics capabilities and decision intelligence to improve decision-making.

 View Only
Back to discussions
Expand all | Collapse all

Integer float constraint solver

  • 1.  Integer float constraint solver

    Posted Mon October 20, 2008 08:46 PM

    Originally posted by: SystemAdmin


    [Franky said:]

    Hello,
    I was wandering if there's anyone who can help me with my problem.

    I'm using clp_fd under Sicstus to solve problems with constraint programming. It had worked very well untill I needed to use float numbers.
    Is there any contraint solver (with commercial license available) that allows integer (finite domain) and float in the same constraint?

    Thanks
    Franky
    #ConstraintProgramming-General
    #DecisionOptimization


  • 2.  Re: Integer float constraint solver

    Posted Fri November 07, 2008 04:11 PM

    Originally posted by: SystemAdmin


    [shaw said:]

    Hello,

    ILOG Solver supports floating point variables and constraints over them.
    If you could be more precise about what your need is, we could better help you.


    Paul
    #ConstraintProgramming-General
    #DecisionOptimization


  • 3.  Re: Integer float constraint solver

    Posted Wed November 12, 2008 01:48 AM

    Originally posted by: SystemAdmin


    [Franky said:]

    Well, under clp_fd in Sicstus you can define only integer variables.
    But I might need a constraint with integers and variables together.
    For instance:
    Radius in 1..100 (integer variable)
    Area #= Radius*Radius*3.14159
    (Area is a float variable)

    This is a silly example, you can tackle it using integers, but in general not having an enviroment that supports floats is a problem.


    Thank you
    Franky
    #ConstraintProgramming-General
    #DecisionOptimization


Related Content