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

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

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