Module org.chocosolver.solver
Package org.chocosolver.solver.constraints.real
-
Class Summary Class Description Ibex IbexHandler Utility class to build the right Ibex instance.PropMixed A propagator that ensures that a real variable X is equal to an integer variable Y.PropMixedElement Let x be an integer variable with n values and v be a real variable.PropScalarMixed A propagator for SUM(x_i*c_i) = b
Based on "Bounds Consistency Techniques for Long Linear Constraint" W.RealConstraint A constraint on real variables, solved using IBEX.RealPropagator A propagator for real variables.