Class | Description |
---|---|
Ibex | |
IbexHandler |
Utility class to build the right Ibex instance.
|
IntEqRealConstraint | Deprecated |
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.
|
Copyright © 2018. All rights reserved.