Package org.chocosolver.solver.constraints.real
-
Class Summary Class Description Ibex IbexHandler Utility class to build the right Ibex instance.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.